Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.”
Interpretationen der Heyting-Arithmetik endlicher Typen.
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Justus Diller, Werner Nahm (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Beweistheorie von KPN.
Gerhard Jäger (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Die Beziehungen zwischen den Ordinalzahlensystemen ... und ...(...).
K. Schütte, W. Buchholz (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über das Markov-Prinzip.
Horst Luckhardt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Das Auflösungsproblem in der Klassenlogik.
Heinrich Behmann (1950/52)
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:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
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:
Generalized ultrapowers.
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Frege und die Schaltalgebra.
W. Hoering (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Das Vereinfachungsproblem für aussagenlogische Normalformen.
Heinrich Behmann (1960/61)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: