Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.”
Interpretationen der Heyting-Arithmetik endlicher Typen.
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.
Gerhard Gentzen (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Kurt Schütte, Justus Diller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Stephen G. Simpson (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen.
D. Rödding (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.
Kurt Schütte (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Stufenreduktion von Kalkülen.
Herbert Fiedler (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Variante des Ordinalzahlbezeichnungssystems ... .
H. Vogel (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Jacobsthalschen transfiniten Arithmetik
G. Sudan (1931)
Mathematische Annalen
Similarity:
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
P. Lorenzen (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: