Let be a complete theory, let , and let have cardinality . If is a universal model for all models of of size at most , and every partial elementary map of size less than extends to an automorphism, then is -saturated.
Let be a complete type over , with . By compactness theorem it is realized by an element of an elementary extension of . By the Downward Lowenheim-Skolem theorem, there is an elementary substructure containing with . Universality gives an elementary embedding . The inverse map from to is partial elementary, so an automorphism of extends it. Then realizes over the original set .
Articles by others on the same topic
There are currently no matching articles.