Relationship To Prime Models
The notion of saturated model is dual to the notion of prime model in the following way: let T be a countable theory in a first-order language (that is, a set of mutually consistent sentences in that language) and let P be a prime model of T. Then P admits an elementary embedding into any other model of T. The equivalent notion for saturated models is that any "reasonably small" model of T is elementarily embedded in a saturated model, where "reasonably small" means cardinality no larger than that of the model in which it is to be embedded. Any saturated model is also homogeneous. However, while for countable theories there is a unique prime model, saturated models are necessarily specific to a particular cardinality. Given certain set-theoretic assumptions, saturated models (albeit of very large cardinality) exist for arbitrary theories. For λ-stable theories, saturated models of cardinality λ exist.
Read more about this topic: Saturated Model
Famous quotes containing the words relationship, prime and/or models:
“If the relationship of father to son could really be reduced to biology, the whole earth would blaze with the glory of fathers and sons.”
—James Baldwin (1924–1987)
“My prime of youth is but a frost of cares,
My feast of joy is but a dish of pain,
My crop of corn is but a field of tares,
And all my good is but vain hope of gain:
The day is past, and yet I saw no sun,
And now I live, and now my life is done.”
—Chidiock Tichborne (1558–1586)
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)