Definition:Categorical (Model Theory)

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $\kappa$ be a cardinal.


$T$ is $\kappa$-categorical if whenever $\MM$ and $\NN$ are models of $T$ of cardinality $\kappa$, then $\MM$ and $\NN$ are isomorphic.


Sources