Propriété de complétude/complexité d'une théorie du premier ordre : une théorie est ω-stable si, pour tout ensemble de paramètres dénombrable A, l'espace des types complets à une variable (ou des n-types pour chaque n fixé) au-dessus de A est dénombrable ; en termes informels, il n'existe que dénombrablement de manières non équivalentes dont un élément peut se comporter au‑dessus d'une base dénombrable.

Principe

Contrôler la prolifération des types en les bornant au‑dessus d'ensembles dénombrables : l'ω-stabilité empêche l'existence d'un nombre non dénombrable de types complets distincts sur une base dénombrable, fournissant ainsi de la douceur pour la classification et la construction de modèles.

Démonstration

La théorie des corps algébriquement clos de caractéristique fixée est ω-stable : au‑dessus de tout ensemble de paramètres dénombrable il n'existe que dénombrablement de 1‑types distincts parce que la dépendance algébrique et le degré de transcendance contraignent les réalisations et les types se décrivent par relations polynomiales et données de transcendance.

Mauvaise application

Confondre ω-stabilité et ω-catégoricité (catégoricité en dénombrable) ou supposer que l'ω-stabilité garantit l'unicité des modèles dénombrables ; ces notions sont liées mais distinctes et l'une n'entraîne pas l'autre sans hypothèses supplémentaires.

Conséquence

L'ω-stabilité implique de nombreuses régularités structurelles : existence de modèles premiers au‑dessus d'ensembles dénombrables, notions bien comportées de rang (rang de Morley) et de dimension, et aptitude aux techniques de la théorie de la classification telles que l'isolation des types et la décomposition en composantes minimales.

Inversion

La négation est l'instabilité au niveau dénombrable : une théorie admettant ensemblistement continûment de types complets distincts au‑dessus d'un ensemble dénombrable, ce qui signale généralement un comportement combinatoire sauvage et l'échec des outils de classification.

Limite

S'applique aux théories complètes du premier ordre et concerne les types au‑dessus d'ensembles de paramètres dénombrables ; elle est muette sur les ensembles de paramètres non dénombrables et exige la complétude et la spécification du langage pour être significative.

Tension sémantique

L'ω-stabilité se situe entre la simple stabilité et des notions plus fortes comme la sous-stabilité ou la catégoricité : elle borne les types par dénombrabilité tout en autorisant des complexités interdites par des propriétés plus fortes, entrant ainsi en tension avec des notions géométriques locales (minimalité forte) et des énoncés globaux de catégoricité.

Synthèse

L'ω-stabilité est une restriction de comptage sur les types : en assurant l'existence d'un nombre seulement dénombrable de types complets au‑dessus de toute base dénombrable, elle fournit un cadre contrôlé pour les rangs, les modèles premiers et la décomposition en constituants minimaux, constituant un pont entre la stabilité brute et la classification complète.