Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
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: