Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 144 3 b Solution 2026-09-28
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.