Una teoría completa de primer orden que refina la noción de estabilidad imponiendo cotas uniformes más fuertes sobre el número de tipos completos sobre conjuntos de parámetros de cardinalidades crecientes, asegurando regularidad estructural adicional en sus modelos.

Principio

Imponer cotas globales sobre la multiplicidad de tipos a lo largo de conjuntos de parámetros más grandes para que los fenómenos de estabilidad persistan y se puedan definir invariantes de clasificación más finos (por ejemplo, rangos y teoremas de descomposición).

Demostración

Una teoría categórica en un cardinal no numerable que describe espacios vectoriales infinitos sobre un anillo divisorio fijo es superestable: los tipos sobre conjuntos de parámetros mayores están controlados por la dimensión lineal y no aumentan de forma explosiva al crecer los parámetros.

Aplicación incorrecta

Tratar cualquier teoría estable como superestable sin comprobar las cotas necesarias sobre tipos para conjuntos de parámetros más grandes; deducir propiedades finas de clasificación (como la existencia de modelos primos) a partir de la mera estabilidad puede ser incorrecto.

Consecuencia

Si una teoría es superestable se obtienen herramientas de clasificación más fuertes: funciones de rango bien comportadas, mejor control del forking, existencia de tipos regulares y descripciones más claras del espectro de modelos y de la descomposición en componentes ortogonales.

Inversión

La inversión es una teoría estable o inestable que carece de las cotas uniformes: los tipos sobre conjuntos de parámetros grandes pueden proliferar, obstruyendo la clasificación fina y el análisis por rangos.

Límite

Se aplica a teorías completas de primer orden en lógica clásica; no se extiende automáticamente a marcos no elementales, lógicas de orden superior ni a propiedades dependientes de hipótesis adicionales de teoría de conjuntos. Es un refinamiento, no equivalente a otras nociones de tamiz como la omega-estabilidad o la simplicidad.

Tensión semántica

Muy relacionada con estabilidad y omega-estabilidad; la tensión surge porque la superstabilidad impone cotas cardinales uniformes mientras que la omega-estabilidad restringe los tipos sobre conjuntos contables — una teoría puede ser superestable sin ser omega-estable y viceversa.

Síntesis

La superstabilidad es el fortalecimiento de la estabilidad que garantiza un control uniforme de la proliferación de tipos sobre conjuntos de parámetros mayores, permitiendo rangos y técnicas de descomposición más finas para una clasificación más precisa de los modelos.