Categoricity
Definition:
A theory
T
is
categorical
in the cardinal
κ
(or is
κ
-categorical
) if any two models of
T
of cardinality κ are isomorphic.
Usually, when we say that
T
is κ-categorical, we implicitly assert that
T
has at least one model of size κ.