Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Justus Diller, Werner Nahm (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Interpretationen der Heyting-Arithmetik endlicher Typen.”
Eine Variante zur Dialectica-Interpretation 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:
Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen.
F.-K. Mahn (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über die Homogenisierbarkeit von Rechenprogrammen.
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized ultrapowers.
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: