Categoricidad

Una teoría T es categórica en una cardinal κ si cualesquiera dos modelos de T de cardinalidad κ son isomorfos; la categoricidad en una κ infinita es una propiedad fuerte de unicidad para modelos de ese tamaño y sustenta resultados profundos de clasificación (p. ej., el teorema de Morley para categoricidad no numerable).

La propiedad de una teoría de primer orden por la cual, para un cardinal infinito fijado κ, todos los modelos de la teoría de cardinalidad κ son isomorfos; es decir, la teoría tiene exactamente un modelo a isomorfismo cerca en esa cardinalidad.