Remark on complete interpretations by models.
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Saturated models of incomplete theories.”
Remark on complete interpretations by models.
Models with second order properties. III. Omitting types for L(Q).
Saharon Shelah (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On relational selections for complete theories.
Klaus Kaiser (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Families of Sets represented in Theories.
Hilary Putnam (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
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:
Some categories of models.
Robert Fittler (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Saturation and omitting types.
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: