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.
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: