Wittringe höherer Stufe.
Renate Carlsson (1983)
Mathematische Zeitschrift
Similarity:
Displaying similar documents to “Über Interpretationen der Prädikatenkalküle höherer Stufe.”
Wittringe höherer Stufe.
Zur Axiomatisierbarkeit von Theorien in der schwachen Logik der zweiten Stufe.
Wolfram Schwabhäuser (1966)
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:
Über die Homogenisierbarkeit von Rechenprogrammen.
Klemens Döpp (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ganzgeschlossene und prädikatgeschlossene Logiken I.
Jörg Flum (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Maximale monadische Logiken.
Jörg Flum (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Metamathematische Begriffe in Standardtheorien.
Giorgio Germano (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kriterien für die Herleitbarkeit in Modalitätenstrukturen.
Günther Emde (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Mengeninduktion und Fundierungsaxiom.
R.B. Jensen, Max E. Schröder (1969)
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:
Aussagenlogisch fundierte Theorien.
Horst Luckhardt (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: