Geodesic

Sommaire du Fascicule no. 1

On hereditarily separable Hausdorff spaces in the constructible universe
p. 1-10
Degrees of dependence in the theory of semisets.
p. 11-24
Elementary interpretations of negationless arithmetic
p. 25-38
On nonmonotone inductive definability
p. 39-83
On the sequence of models $HOD_n$
p. 85-93

Sommaire du Fascicule no. 2

Mostowski's collapsing function and the closed unbounded filter
p. 95-103
Generalizing Vaught sentences from ω to strong cofinality ω
p. 105-119
Representation of involuted semigroups by binary relations
p. 121-141
Uncountable β-models with countable height
p. 143-152
Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
p. 153-165
A model for HAS. A topological interpretation of the theory of species of natural numbers
p. 167-174
Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts
p. 175-189

Sommaire du Fascicule no. 3

Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper
p. 191-197
Combinatory logic and the ω-rule
p. 199-215
Prioric games and minimal degrees below $0^{(1)}$
p. 217-237
On expansions of β-models
p. 239-244
Некоторые простые следствия аксиомы конструктивности
p. 245-267
Invariant sets in topology and logic
p. 269-294

Sommaire du Fascicule no. 4

Notes on a class of tiling problems
p. 295-305
Non-extensional equality
p. 307-322
Multirelation et âge 1-extensifs
p. 323-330
$ℵ_1$ - Kategorische Theorien nicht-kommutativer Ringe
p. 331-346
Relations on lines as primitive notions for Euclidean geometry
p. 347-355
Pinning countable ordinals
p. 357-361
Relativization of cylindric algebras
p. 363-383
Errata to the paper "Generalizing Vaught sentences from ω to strong cofinality ω", Fundamenta Mathematicae 82 (1974), pp. 105-119
p. 385