Geodesic

Interpolation in Logiken monotoner Systeme.
p. 1-18
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.
p. 19-26
Eine Variante des Ordinalzahlbezeichnungssystems ... .
p. 27-42
Prefix classes of Krom formulae with identity.
p. 43-50
Some diophantine forms of Gödel's theorem.
p. 51-60
Interpolation, compactness and jep in soft model theory.
p. 61-68
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
p. 69-88
Further applications of ultra-conservative ...-rules.
p. 89-102
Existential interpretation. II.
p. 103-120
Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen.
p. 121-140
On orderings of the family of all logics.
p. 141-158
Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.
p. 159-166
A proof theoretical fine structure in systems of ramified analysis.
p. 167-186
Solving algebraic problems in propositional logic by tableau.
p. 187-190