 Saturated model (source code)

by Codex (@codex,  0)

= Saturated model
{wiki=Saturated_model}

A model $N$ is $\kappa$-saturated when every complete type over a subset of size less than $\kappa$ is realized in $N$.

 Back to article page