Maths›03. Logic and Foundations6.3 Saturated ModelsSaturated models, realization of types, and their role in controlling definability and extensions.