Une théorie complète du premier ordre qui n'a qu'énumérablement (comptablement) de types complets au-dessus de tout ensemble de paramètres dénombrable, ce qui impose des contraintes structurelles fortes sur les modèles dénombrables et au-delà.

Principe

Exiger que pour tout ensemble de paramètres dénombrable, l'espace des types complets soit dénombrable, produisant une forme de compacité dans la diversité combinatoire des comportements définissables sur des fragments dénombrables.

Démonstration

La théorie d'un espace vectoriel de dimension infinie sur un corps fini fixé est omega-stable : au-dessus de tout ensemble de paramètres dénombrable, les types correspondent à configurations d'algèbre linéaire contraintes par la dimension sur le corps fini, donnant un nombre dénombrable de possibilités.

Mauvaise application

Supposer que l'omega-stabilité implique la catégoricité dans tous les cardinaux non dénombrables ; l'omega-stabilité contrôle les types sur ensembles dénombrables mais ne garantit pas seule la catégoricité non dénombrable sans hypothèses supplémentaires.

Conséquence

L'omega-stabilité entraîne des conséquences profondes en théorie des modèles telles que l'existence de fonctions de rang bien réglées, une analyse détaillée des types et des modèles premiers au-dessus d'ensembles dénombrables, et souvent des descriptions structurelles fortes des modèles dénombrables.

Inversion

La négation est une théorie ayant une infinité non dénombrable de types au-dessus d'un certain ensemble de paramètres dénombrable (c.-à-d. non omega-stable), qui présente en général un comportement combinatoire beaucoup plus sauvage et résiste aux mêmes techniques de classification.

Limite

S'applique aux théories complètes du premier ordre ; il s'agit spécifiquement des ensembles de paramètres dénombrables et ne contrôle pas en soi le comportement au-dessus d'ensembles de paramètres non dénombrables ni dans des cadres non élémentaires.

Tension sémantique

Proche mais distinct de la catégoricité et de la superstabilité : l'omega-stabilité se concentre sur le contrôle des paramètres dénombrables, tandis que la catégoricité concerne l'unicité des modèles dans un cardinal donné et la superstabilité impose des bornes pour des cardinalités plus grandes.

Synthèse

L'omega-stabilité est la condition selon laquelle les types au-dessus de tout ensemble de paramètres dénombrable sont dénombrables, concentrant le contrôle combinatoire sur les fragments dénombrables et permettant des analyses précises par rang et classification des modèles.