Geodesic

Tome 18 (1977)

Sommaire

Another simplification of the recursion scheme.
p. 1-4
Saturation and omitting types.
p. 5-18
Die Vollständigkeit einer unverzweigten Variante des
p. 19-22
Semi-conservative recduction.
p. 23-26
Eine Funktionalinterpretation der prädikativen Analysis.
p. 27-46
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions.
p. 47-54
...-Mengen.
p. 55-66
A simple tree and its application to a counterexample of Philips.
p. 67-72
Über das Markov-Prinzip.
p. 73-80
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
p. 81-84
Über Teilsysteme von ...({g}).
p. 85-98
Some remarks about the connections between combinatory logic and axiomatic recursion theory.
p. 99-104
The theory of differentially closed fields in logics with cardinal quantifiers.
p. 105-114
Some model theory for monotone quantifiers.
p. 115-134
Eine algebraische Konstruktion abzählbarer Modelle.
p. 135-144
Postscript to
p. 145-146
Über das Markov-Prinzip II.
p. 147-158
A partial comparison of two conditions on the intersections of regressive sets.
p. 159-168
On minimal pairs and minimal degrees in higher recursion theory.
p. 169-186