Geodesic

Quantifier elimination for modules.
p. 1-12
Functorial bounds for cut elimination in L.. .II.
p. 13-20
Majorizing provably recursive functions in fragments of PA.
p. 21-32
Gilt das Lemma von König
p. 33-36
Completeness of a cut-free calculus with equality and function constants.
p. 37-42
Eine Bemerkung zum Aufsatz
p. 43-44
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
p. 45-66
König's Lemma, the ...-rule and primitive recursive arithmetic.
p. 67-74
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.
p. 75-90
Application of a Tauberian theorem to finite model theory.
p. 91-98
Optimal bounds for ordinal comparison maps.
p. 99-108
Cupping and noncapping in the R.E. weak truth table and turing degrees.
p. 109-126
A theory of local negation: the model and some applications.
p. 127-144
Maximale monadische Logiken.
p. 145-152
Anmerkungen zum Rekursionstheorem.
p. 153-172
A fixed point theorem equivalent to the axiom of choice.
p. 173-174
Strong normalization of barrecursive terms without using infinite terms.
p. 175-182
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes.
p. 183-188