Generalized ultrapowers.
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Generalized quantifiers and well orderings.”
Generalized ultrapowers.
Ü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:
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik.
Matthias Ragaz (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Frege und die Schaltalgebra.
W. Hoering (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:
Kodifikation und Aussagenlogik.
Horst Luckhardt (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:
Aussagenlogisch fundierte Theorien.
Horst Luckhardt (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kripke-Semantik der derivativen Prädikatelogik.
Horst Luckhardt (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Von Wright's relative Modalitäten.
Horst Luckhardt (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Maximale monadische Logiken.
Jörg Flum (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: