Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-144/3/b/solution

Let with and . Realize by in some elementary extension, and use the Downward Lowenheim-Skolem theorem to choose a model containing with . Universality gives an elementary embedding . Its restriction sends elementarily to . Homogeneity extends the inverse partial elementary map to an automorphism of . Then realizes over . Thus the universal homogeneous model is saturated.

New to topics? Read the docs here!