Definition:Saturated Model

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be an $\LL$-theory.

Let $\kappa$ be an infinite cardinal.


A model $\MM$ of $T$ is $\kappa$-saturated if and only if for every subset $A$ of the universe of $\MM$ of cardinality strictly less than $\kappa$, and for every $n \in \N$, every complete $n$-type $p$ over $A$ is realized in $\MM$.

That is, $\MM$ is $\kappa$-saturated if and only if for all $A \subseteq \MM$ with $\card A < \kappa$, and for all $n \in \N$, each $p \in \map {S_n^\MM} A$ is realized in $\MM$.


We say $\MM$ is saturated if and only if it is $\kappa$-saturated where $\kappa$ is the cardinality of the universe of $\MM$.