Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.
Matthias Ragaz (1983)
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.
Displaying similar documents to “Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen.”
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.
Über Logik und Mengenlehre.
A. Korselt (1906)
Jahresbericht der Deutschen Mathematiker-Vereinigung
Similarity:
Zu den Widersprüchen der Logik und der Mengenlehre.
Heinrich Behmann (1931)
Jahresbericht der Deutschen Mathematiker-Vereinigung
Similarity:
Beweistheorie von KPN.
Gerhard Jäger (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Über den Aussagenkalkül der Experimentalaussagen.
Jean-Louis Destouches (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Zur Stufenreduktion von Kalkülen.
Herbert Fiedler (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Natürliche Zahlen, Ordnung, Nachfolge.
J. Schmidt, W. Felscher (1958)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
G. Kreisel, H. Putnam (1957)
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:
Über die Homogenisierbarkeit von Rechenprogrammen.
Klemens Döpp (1969)
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: