Sommaire

Another simplification of the recursion scheme.

Georgieva, N.

Access to full text
p. 1-4

Göttinger Digitalisierungszentrum
Saturation and omitting types.

Gillam, D.W.H.

Access to full text
p. 5-18

Göttinger Digitalisierungszentrum
Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik.

Lorenzen, P.

Access to full text
p. 19-22

Göttinger Digitalisierungszentrum
Semi-conservative recduction.

Gurevich, Yuri

Access to full text
p. 23-26

Göttinger Digitalisierungszentrum
Eine Funktionalinterpretation der prädikativen Analysis.

Maaß, Wolfgang

Access to full text
p. 27-46

Göttinger Digitalisierungszentrum
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions.

Schmidt, Diana

Access to full text
p. 47-54

Göttinger Digitalisierungszentrum
...-Mengen.

Carstens, Hans Georg

Access to full text
p. 55-66

Göttinger Digitalisierungszentrum
A simple tree and its application to a counterexample of Philips.

Potthoff, Klaus

Access to full text
p. 67-72

Göttinger Digitalisierungszentrum
Über das Markov-Prinzip.

Luckhardt, Horst

Access to full text
p. 73-80

Göttinger Digitalisierungszentrum
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.

Vogel, Helmut

Access to full text
p. 81-84

Göttinger Digitalisierungszentrum
Über Teilsysteme von ...({g}).

Buchholz, Wilfried

Access to full text
p. 85-98

Göttinger Digitalisierungszentrum
Some remarks about the connections between combinatory logic and axiomatic recursion theory.

Hindley, R. ; Mitschke, G.

Access to full text
p. 99-104

Göttinger Digitalisierungszentrum
The theory of differentially closed fields in logics with cardinal quantifiers.

Cowles, J.

Access to full text
p. 105-114

Göttinger Digitalisierungszentrum
Some model theory for monotone quantifiers.

Makowsky, J.A. ; Tulipani, S.

Access to full text
p. 115-134

Göttinger Digitalisierungszentrum
Eine algebraische Konstruktion abzählbarer Modelle.

Schönfeld, W.

Access to full text
p. 135-144

Göttinger Digitalisierungszentrum
Postscript to "Built-up systems of fundamental sequences and hierarchies of number-theoretic functions".

Schmidt, Diana

Access to full text
p. 145-146

Göttinger Digitalisierungszentrum
Über das Markov-Prinzip II.

Luckhardt, Horst

Access to full text
p. 147-158

Göttinger Digitalisierungszentrum
A partial comparison of two conditions on the intersections of regressive sets.

McLaughlin, T.G.

Access to full text
p. 159-168

Göttinger Digitalisierungszentrum
On minimal pairs and minimal degrees in higher recursion theory.

Maass, Wolfgang

Access to full text
p. 169-186

Göttinger Digitalisierungszentrum