Remark on complete interpretations by models.
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Models with second order properties. III. Omitting types for L(Q).”
Remark on complete interpretations by models.
Saturated models of incomplete theories.
Robert Fittler (1974)
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:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
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:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Constructive order types, III.
John N. Crossley, P.H.G. Aczel (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: