The role of the omitting types theorem in infinitary logic.
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Y. Bar-Hillel (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Donald Monk (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Hindley, G. Mitschke (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Rolf Schock (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Montague, D. Kalish (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Roman Suszko (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: