Una teoría completa de primer orden que tiene solo contablemente muchos tipos completos sobre cualquier conjunto de parámetros contable, lo que impone fuertes restricciones estructurales en modelos contables y mayores.

Principio

Exigir que para cada conjunto de parámetros contable el espacio de tipos completos sea contable, generando una especie de compacidad en la diversidad combinatoria del comportamiento definible sobre fragmentos contables.

Demostración

La teoría de un espacio vectorial de dimensión infinita sobre un campo finito fijo es omega-estable: sobre cualquier conjunto contable de parámetros, los tipos corresponden a configuraciones de álgebra lineal controladas por la dimensión sobre el campo finito, dando opciones contables.

Aplicación incorrecta

Suponer que la omega-estabilidad implica categoricidad en todos los cardinales no contables; la omega-estabilidad controla tipos sobre conjuntos contables pero por sí sola no garantiza categoricidad en cardinales no contables sin hipótesis adicionales.

Consecuencia

La omega-estabilidad conlleva consecuencias profundas en teoría de modelos, como la existencia de funciones de rango bien comportadas, análisis detallado de tipos y modelos primos sobre conjuntos contables y descripciones estructurales fuertes de modelos contables.

Inversión

La negación es una teoría que tiene incontablemente muchos tipos sobre algún conjunto contable de parámetros (es decir, no omega-estable), que típicamente admite un comportamiento combinatorio mucho más salvaje y resiste las mismas técnicas de clasificación.

Límite

Se aplica dentro de teorías completas de primer orden; se centra específicamente en conjuntos de parámetros contables y no controla por sí misma el comportamiento sobre conjuntos de parámetros no contables ni en marcos no elementales.

Tensión semántica

Cercana pero distinta de la categoricidad y la superstabilidad: la omega-estabilidad se centra en el control sobre fragmentos contables, mientras que la categoricidad trata de la unicidad de modelos en un cardinal dado y la superstabilidad impone cotas para cardinalidades mayores.

Síntesis

La omega-estabilidad es la restricción de que los tipos sobre cualquier conjunto de parámetros contable son contables en número, concentrando el control combinatorio en fragmentos contables y posibilitando análisis precisos por rango y clasificación de modelos.