Geodesic

Category theory based on combinatory logic.
p. 1-16
Constructive analysis and thermodynamics formulations.
p. 17-22
PA-beweisbare ...-Formeln.
p. 23-48
...-inaccessible ordinals, collapsing functions and a recursive notation system.
p. 49-62
Minimal ...-hyperdegrees.
p. 63-72
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
p. 73-100
Eine Logik vager Sätze.
p. 101-118
Amorphe Potenzen kompakter Räume.
p. 119-136
The arithmetic and turing degrees are not elementary equivalent.
p. 137-140
Functorial bounds for cut elimination in L... .I.
p. 141-158
A possibility-free logic of descriptions.
p. 159-166
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
p. 167-191