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.

Principio

La unicidad en una talla no contable se propaga: la rigidez estructural que implica la categoricidad en un único cardinal no contable, junto con la completitud y la contabilidad del lenguaje, fuerza un tipo de isomorfismo único para modelos en cualquier cardinalidad no contable.

Demostración

Por ejemplo, la teoría de cuerpos algebraicamente cerrados de característica fija es categórica en todo cardinal no contable: al ser categórica en un cardinal no contable (los modelos están determinados por el grado de trascendencia), el teorema de Morley garantiza la categoricidad en todos los cardinales no contables, ilustrando el fenómeno de transferencia.

Aplicación incorrecta

Aplicar el teorema de Morley a cardinales contables (esperando categoricidad en ℵ0 a partir de un caso no contable) u omitir la hipótesis de que el lenguaje es contable y la teoría es completa; el teorema se ocupa específicamente de cardinalidades no contables y de la lógica de primer orden en un lenguaje contable.

Consecuencia

El teorema de Morley sostiene resultados profundos de clasificación: la categoricidad en un cardinal no contable implica propiedades estructurales fuertes como la ω‑estabilidad y permite un análisis detallado de los modelos (p. ej., existencia de ortogonalidad, análisis por tipos mínimos) a través de tamaños no contables.

Inversión

El escenario inverso es una teoría que es categórica en algunos cardinales pero no en otros (en particular, que no lo es en ningún cardinal no contable); tal comportamiento puede darse cuando no se cumplen las hipótesis de Morley o en contextos no de primer orden.

Límite

Requiere una teoría completa de primer orden en un lenguaje contable y la hipótesis de categoricidad en al menos un cardinal no contable; no trata la categoricidad en el caso contable y no se extiende directamente a lenguajes no contables ni a lógicas más allá de primer orden sin hipótesis adicionales.

Tensión semántica

La transferencia global de categoricidad de Morley entra en tensión con nociones locales como la ω‑categoricidad y la minimalidad fuerte: la categoricidad en cardinales no contables implica propiedades de tameza (ω‑estabilidad, descomposición en tipos mínimos), pero esas nociones locales no garantizan por sí solas la categoricidad no contable sin la hipótesis global.

Síntesis

El teorema de Morley conecta una única instancia de unicidad en lo no contable con la unicidad uniforme en todas las cardinalidades no contables para teorías completas de primer orden en lenguajes contables: convierte una rigidez puntual en un principio de clasificación de gran alcance que impulsa gran parte de la teoría moderna de la estabilidad.