Definition:Stability (Model Theory)/Kappa-Stable Structure

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\kappa$ be an infinite cardinal.

Let $\MM$ be an $\LL$-structure.

Let $\map {\operatorname{Th} } \MM$ be the $\LL$-theory of $\MM$.


$\MM$ is $\kappa$-stable if $\map {\operatorname{Th} } \MM$ is $\kappa$-stable.