Expansions of models of ZFC.
T.B. Flannagan (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Model-interpretability into trees and applications.”
Expansions of models of ZFC.
Models with second order properties. III. Omitting types for L(Q).
Saharon Shelah (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remark on complete interpretations by models.
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A simple tree and its application to a counterexample of Philips.
Klaus Potthoff (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Saturated models of incomplete theories.
Robert Fittler (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
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:
Existential interpretation. II.
Yuri Gurevich (1982)
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:
A note on proofs of falsehood.
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: