Una teoría del primer orden T es estable si para cada cardinal κ (o clásicamente para κ = |T|) el número de tipos completos sobre cualquier conjunto de parámetros de tamaño κ es a lo sumo κ; equivalentemente, T no tiene la propiedad de orden y admite una noción bien comportada de independencia (forking) usada en la teoría de clasificación.

Principio

Control de la explosión combinatoria de tipos: la estabilidad es la línea divisoria que impide el crecimiento descontrolado de tipos sobre conjuntos de parámetros, posibilitando análisis geométricos y de independencia de modelos y una clasificación robusta entre comportamientos estables e inestables.

Demostración

La teoría de espacios vectoriales sobre un cuerpo fijo es estable (de hecho ω‑estable): los tipos sobre conjuntos de parámetros están determinados por invariantes lineal-algebraicos, lo que permite una clasificación clara de modelos por dimensión y una independencia sencilla dada por la clausura lineal.

Aplicación incorrecta

Suponer que la estabilidad implica categoricidad en todas las cardinalidades o viceversa; la estabilidad trata sobre números acotados de tipos, no sobre la unicidad automática de modelos en cardinalidades no contables — nociones más fuertes (p. ej. ω‑estabilidad, superstabilidad, categoricidad) deben distinguirse.

Consecuencia

La estabilidad proporciona un rico conjunto de herramientas estructurales: independencia por forking, rangos y dimensiones, descomposición en tipos regulares y potentes resultados de clasificación que permiten trasladar la intuición geométrica a la estructura modelo-teórica.

Inversión

Una teoría inestable exhibe la propiedad de orden y por tanto arbitrariamente muchos tipos sobre algunos conjuntos de parámetros; esto conduce típicamente a comportamiento combinatorio caótico, fallo de una noción de independencia robusta y muchos modelos no isomorfos.

Límite

La estabilidad es una propiedad de teorías del primer orden relativa a un lenguaje fijo y a la aritmética de cardinales; admite refinamientos (superstabilidad, ω‑estabilidad, NIP, simplicidad) que trazan líneas divisorias más finas para la clasificación y la aplicabilidad.

Tensión semántica

Tensión con líneas divisorias cercanas: las teorías estables son en distintos sentidos un subconjunto estricto de las teorías NIP y simples; en la práctica suele requerirse decidir qué refinamiento (estabilidad, simplicidad, NIP) captura mejor los fenómenos que se desean estudiar.

Síntesis

La estabilidad es la condición modelo-teórica que controla la proliferación de tipos y suministra un cálculo de independencia bien comportado; es la línea divisoria fundacional de la teoría de clasificación que conecta la moderación combinatoria con la estructura geométrica.