Geodesic

Models with second order properties. III. Omitting types for L(Q).
p. 1-12
The theorems of Beth and Craig in abstract model theory. II. Compact logics.
p. 13-36
Topological model theory with an interior operator: consistency properties and back - and forth arguments.
p. 37-54
The role of the omitting types theorem in infinitary logic.
p. 55-68
On the strength of several versions of Dirichlet's (
p. 69-76
Inequivalence of the fragments of new foundations.
p. 77-82
Die Amalgamierungseigenschaft und reine Ringe.
p. 83-100
A unifying approach to theorems on preservation and interpolation for binary relations between structures.
p. 101-112
Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
p. 113-130
Homogeneous limit reduced powers.
p. 131-136
Some undecidable theories with monadic predicates and without equality.
p. 137-148
Inhomogene Operationen reeller Ordinalzahlen.
p. 149-168
Predicate calculus and naive set theory in pure combinatory logic.
p. 169-178
Universality and strong extensionality.
p. 179-194
Weak foundation and axioms of universality.
p. 195-205