Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-144/6/i/solution

A structure is -saturated when every type over a parameter set of cardinality below is realized in . It is -homogeneous when every partial elementary map of size below has the one-point extension property.
Let be such a map and . Transport through to a type over . Its parameter set has size below , so saturation supplies a realization . Then is partial elementary. This proves that saturation implies homogeneity.

New to topics? Read the docs here!