Sommaire

Saturated models of incomplete theories.

Fittler, Robert

Access to full text
p. 3-14

Göttinger Digitalisierungszentrum
Prädikatenlogik mit partiell definierten Funktionen II.

Markwald, Werner

Access to full text
p. 15-22

Göttinger Digitalisierungszentrum
Über zwei Bezeichnungssysteme für Ordinalzahlen.

Pfeiffer, Helmut

Access to full text
p. 23-36

Göttinger Digitalisierungszentrum
Boolean Ultrapowers.

Potthoff, Klaus

Access to full text
p. 37-48

Göttinger Digitalisierungszentrum
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.

Diller, Justus ; Nahm, Werner

Access to full text
p. 49-66

Göttinger Digitalisierungszentrum
Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen.

Börger, Egon

Access to full text
p. 67-84

Göttinger Digitalisierungszentrum
On certain decompositions of Gödel numberings.

Buchberger, B.

Access to full text
p. 85-96

Göttinger Digitalisierungszentrum
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie.

Gentzen, Gerhard

Access to full text
p. 97-118

Göttinger Digitalisierungszentrum
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.

Gentzen, Gerhard

Access to full text
p. 119-132

Göttinger Digitalisierungszentrum
On some properties a projective model class passes on to the generated axiomatic class.

Kaiser, Klaus ; Armbrust, M.

Access to full text
p. 133-136

Göttinger Digitalisierungszentrum
Completeness of cut-free type theories.

Yasuhara, Mitsuru

Access to full text
p. 137-142

Göttinger Digitalisierungszentrum
On necessary but not-sufficient conditions.

Sakai, Hidehisa

Access to full text
p. 143-146

Göttinger Digitalisierungszentrum
Disjunctive properties of intuitionistic systems.

Scarpellini, B.

Access to full text
p. 147-158

Göttinger Digitalisierungszentrum
Arithmetische Prädikate über einem Bereich endlicher Automaten.

Ottmann, Th.

Access to full text
p. 159-176

Göttinger Digitalisierungszentrum
On 2nd order intuitionistic propositional calculus with full comprehension.

Gabbay, Dov M.

Access to full text
p. 177-186

Göttinger Digitalisierungszentrum
An extension of the Kreisel-Putman system.

Georgieva, N.

Access to full text
p. 187-190

Göttinger Digitalisierungszentrum