Definition:Monster Model
Jump to navigation
Jump to search
Definition
Let $T$ be a complete $\LL$-theory.
A monster model of $T$ whose cardinality $\kappa$ is infinite is a model of $T$ which is saturated and homogeneous.