Universal homogeneous model is saturated
ID: universal-homogeneous-model-is-saturated
A universal homogeneous model realizes every type over a small parameter set. Embed a small model containing a realization into the universal model, then use homogeneity to move the embedded parameters back to the original ones.
New to topics? Read the docs here!