Teorema de Categoricidad de Morley

Un teorema de teoría de modelos que afirma que una teoría completa de primer orden en un lenguaje contable que es categórica en algún cardinal no contable κ es categórica en todos los cardinales no contables; en otras palabras, la categoricidad en un cardinal no contable implica categoricidad en todo el espectro no contable.