Some Theorems on Omitting Types, With Applications to Model Completeness, Amalgamation, and Related Properties
-
Published:1977
Issue:
Volume:
Page:223-238
-
ISSN:0049-237X
-
Container-title:Non-Classical Logics, Model Theory, And Computability
-
language:
-
Short-container-title:
Author:
Pinter Charles C.
Reference6 articles.
1. Syntactic characterizations of amalgamation, convexity and related properties;Bacsich;The Journal of Symbolic Logic,1974
2. Model Theory;Chang,1973
3. Inductive theories and their forcing companions;Fisher;Israel J. Math.,1972
4. Countable models of x1 - categorical theories;Morley;Israel J. Math.,1967
5. lnfinite forcing in model theory;Robinson,1971