Definition:Categorical (Model Theory)

Definition

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

Let $\kappa$ be a cardinal.

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

Sources

• 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Axiom systems