Loading [MathJax]/extensions/MathZoom.js

Sommaire

On Kalmar's consistency proof and a generalization of the notion of ...-consistency.

Boolos, George S.

Access to full text
p. 3-8

Göttinger Digitalisierungszentrum
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe.

Deutsch, Michael

Access to full text
p. 9-16

Göttinger Digitalisierungszentrum
A type-open minimal model.

Marcus, Leo

Access to full text
p. 17-24

Göttinger Digitalisierungszentrum
Combinatorial systems defined over one- and two-letter alphabets.

Hughes, Ch.E. ; Singletary, W.E.

Access to full text
p. 25-34

Göttinger Digitalisierungszentrum
A characterization of r-maximal sets.

Alton, Donald A.

Access to full text
p. 35-36

Göttinger Digitalisierungszentrum
Embedding relations in the lattice of recursively enumerable sets.

Alton, Donald A.

Access to full text
p. 37-42

Göttinger Digitalisierungszentrum
A note on undecidable extensions of monadic second order successor arithmetic.

Thomas, Wolfgang

Access to full text
p. 43-44

Göttinger Digitalisierungszentrum
Ein Vollständigkeitsbeweis für die aussagenlogischen Modalitätensysteme M, S4, Br und S5.

Czermak, J.

Access to full text
p. 45-50

Göttinger Digitalisierungszentrum
On the decidability of p', p'' and p''*.

Georgieva, N.

Access to full text
p. 51-54

Göttinger Digitalisierungszentrum
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.

Buchholz, Wilfried

Access to full text
p. 55-60

Göttinger Digitalisierungszentrum
Über Hilbert's reale und ideale Elemente.

Luckhardt, Horst

Access to full text
p. 61-70

Göttinger Digitalisierungszentrum
The recursive sets in certain monadic second order fragments of arithmetic.

Siefkes, Dirk

Access to full text
p. 71-80

Göttinger Digitalisierungszentrum
On two complete sets in the analytical and the arithmetical hierarchies.

Vinner, Shlomo

Access to full text
p. 81-84

Göttinger Digitalisierungszentrum
Liberated versions of T, S4, and S5.

Morgan, Charles G.

Access to full text
p. 85-90

Göttinger Digitalisierungszentrum
Various remarks on quasi-universal model classes.

Kaiser, Klaus

Access to full text
p. 91-96

Göttinger Digitalisierungszentrum
Model-interpretability into trees and applications.

Korec, I. ; Rautenberg, W.

Access to full text
p. 97-104

Göttinger Digitalisierungszentrum
Die m-Grade logischer Entscheidungsprobleme.

Börger, E. ; Heidler, Klaus

Access to full text
p. 105-112

Göttinger Digitalisierungszentrum
Definierbare Funktionen im ...-Kalkül mit Typen.

Schwichtenberg, Helmut

Access to full text
p. 113-114

Göttinger Digitalisierungszentrum
Die mit Nestedstackautomaten berechenbaren Funktionen sind elementar.

Beck, Heinrich

Access to full text
p. 115-128

Göttinger Digitalisierungszentrum
Quasi-axiomatic classes.

Kaiser, Klaus

Access to full text
p. 129-134

Göttinger Digitalisierungszentrum
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.

Bremer, H. ; Reynvaan, C.H.H.

Access to full text
p. 135-144

Göttinger Digitalisierungszentrum
On interpolation when function symbols are present.

Felscher, Walter

Access to full text
p. 145-158

Göttinger Digitalisierungszentrum
Interpolation formulae for predicates and terms which carry their own history.

Schulte-Mönting, Jürgen

Access to full text
p. 159-170

Göttinger Digitalisierungszentrum
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.

Schütte, Kurt

Access to full text
p. 171-178

Göttinger Digitalisierungszentrum
Die Beziehungen zwischen den Ordinalzahlensystemen ... und ...(...).

Schütte, K. ; Buchholz, W.

Access to full text
p. 179-190

Göttinger Digitalisierungszentrum