Theorem (Morley’s Categoricity Theorem 1965). Assuming that:

• $T$ is a complete theory in a countable language

• $T$ is $\kappa$-categorical for some uncountable $\kappa$