6.3 Saturated Models
Saturated models provide a way to control which types are realized inside a structure, and they serve as canonical large models in which all consistent descriptions over small parameter sets are already realized, so that no further extension is needed to witness those types. Throughout this section, let $L$ be a first order language, let $T$ be an $L$-theory, and let $\mathcal M \models T$ be an $L$-structure with domain...