Geodesic

Saturated models of incomplete theories.
p. 3-14
Prädikatenlogik mit partiell definierten Funktionen II.
p. 15-22
Über zwei Bezeichnungssysteme für Ordinalzahlen.
p. 23-36
Boolean Ultrapowers.
p. 37-48
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
p. 49-66
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.
p. 67-84
On certain decompositions of Gödel numberings.
p. 85-96
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.
p. 97-118
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
p. 119-132
On some properties a projective model class passes on to the generated axiomatic class.
p. 133-136
Completeness of cut-free type theories.
p. 137-142
On necessary but not-sufficient conditions.
p. 143-146
Disjunctive properties of intuitionistic systems.
p. 147-158
Arithmetische Prädikate über einem Bereich endlicher Automaten.
p. 159-176
On 2nd order intuitionistic propositional calculus with full comprehension.
p. 177-186
An extension of the Kreisel-Putman system.
p. 187-190