Abstract
In ~tn influential paper [16] Vaught defined a prime model of a complete theory to be a model of the theory ~hich can be elementari ly embedded in every model of the theory. He established the following fundamental facts about prime mode!Is: (1) a model is prime iff it is countable and atomic; (2) a complete theory has a prime model if[ it satisfies a simple syntactical condit ion; (3) a complete theory has at most one prime model (up to isomorphism). The main facts about prime models were discovered independently by Svenonius [15]. In this paper we investigate the corresp¢,nding concept in which ~.~ementary embeddings are replaced by (isomorphic) embeddings.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
