A -saturated model has the one-point extension property for partial elementary maps with domain of size less than . Given and , transport the complete type of over along . Every finite subset is satisfiable by elementarity of , so saturation realizes the transported type by some . Then is a partial elementary map; inequalities in the type ensure that a new gets a new image.
When the model itself has infinite cardinality , the back-and-forth method upgrades this local property to automorphisms extending all partial elementary maps of size less than . Enumerate the model in stages and alternately extend the domain and range. Every intermediate map still has size less than . For a model of larger cardinality, -saturation alone gives the local extension property; full automorphism extension requires additional size or homogeneity hypotheses.

Articles by others on the same topic (0)

There are currently no matching articles.