Una propiedad de complejidad/completez de una teoría de primer orden: la teoría es ω‑estable si para todo conjunto de parámetros contable A el espacio de tipos completos de una variable (o tipos n para cada n fijo) sobre A es contable; informalmente, existen solo contablemente muchas maneras no equivalentes en que un elemento puede comportarse sobre una base contable.

Principio

Controlar la proliferación de tipos acotándolos sobre conjuntos contables: la ω‑estabilidad impide que haya no contablemente muchos tipos completos distintos sobre una base contable, otorgando tameza para clasificación y construcción de modelos.

Demostración

La teoría de cuerpos algebraicamente cerrados de característica fija es ω‑estable: sobre cualquier conjunto contable de parámetros hay solo contablemente muchos 1‑tipos distintos porque la dependencia algebraica y el grado de trascendencia limitan las realizaciones y los tipos se describen por relaciones polinómicas y datos de trascendencia.

Aplicación incorrecta

Confundir ω‑estabilidad con ω‑categoricidad (categoricidad en conteable) o asumir que la ω‑estabilidad garantiza la unicidad de los modelos contables; son nociones relacionadas pero distintas y una no implica la otra sin hipótesis adicionales.

Consecuencia

La ω‑estabilidad conlleva muchas regularidades: existencia de modelos primos sobre conjuntos contables, nociones bien comportadas de rango (rango de Morley) y dimensión, y aptitud para técnicas de teoría de clasificación como la aislación de tipos y la descomposición en componentes mínimas.

Inversión

La negación es la inestabilidad a nivel contable: una teoría que admite contínuamente muchos tipos completos distintos sobre algún conjunto contable, lo que suele indicar comportamiento combinatorio salvaje y fracaso de las herramientas de clasificación.

Límite

Se aplica a teorías completas de primer orden y concierne a tipos sobre conjuntos de parámetros contables; no dice nada sobre conjuntos de parámetros no contables y requiere la completitud y la especificación del lenguaje para tener sentido.

Tensión semántica

La ω‑estabilidad se sitúa entre la mera estabilidad y nociones más fuertes como la superstabilidad o la categoricidad: atenúa los tipos por contabilidad pero permite complejidades prohibidas por propiedades más fuertes, entrando así en tensión con nociones geométricas locales (minimalidad fuerte) y declaraciones globales de categoricidad.

Síntesis

La ω‑estabilidad es una restricción de conteo sobre tipos: al garantizar solo contablemente muchos tipos completos sobre cualquier base contable, produce un marco controlado para rangos, modelos primos y descomposiciones en constituyentes mínimos bien entendidos, formando un puente entre la estabilidad básica y la clasificación completa.