Un préordre sur les théories complètes du premier ordre qui compare leur complexité relative en testant quelles théories admettent des ultraproduits saturés par rapport à des classes d'ultrafiltres réguliers : T1 ≤ T2 si tout ultrafiltre régulier qui sature T2 sature aussi T1.

Principe

L'idée organisatrice est de mesurer la complexité modèle‑théorique via le comportement des ultraproduits : une théorie est « plus difficile » si elle exige des ultrafiltres plus puissants pour obtenir des ultraproduits saturés, de sorte que la saturation par ultrafiltres fournit une échelle de difficulté.

Démonstration

Stratification concrète : les théories stables occupent généralement des niveaux bas dans l'ordre de Keisler (beaucoup d'ultrafiltres réguliers les saturent), tandis que certaines théories instables codant une combinatoire complexe exigent des ultrafiltres particuliers et se situent à des degrés supérieurs ; cela se montre en construisant des ultrafiltres saturant certaines théories mais pas d'autres.

Mauvaise application

Confondre l'ordre de Keisler avec un classement linéaire comme le rang de Morley ou supposer qu'il est absolu entre univers de théorie des ensembles ; l'ordre dépend des ultrafiltres existants et de la théorie des ensembles, donc prétendre à une linéarité stricte ou à l'absolu est incorrect.

Conséquence

Fournit un invariant grossier mais robuste pour la théorie de la classification : il divise les théories en classes d'équivalence et en strates reflétant des propriétés combinatoires et de stabilité, et relie la théorie des modèles aux méthodes d'ultrafiltres et de théorie des ensembles.

Inversion

Inverser la comparaison (affirmer T1 > T2) signifie simplement qu'il existe un ultrafiltre régulier qui sature T1 mais pas T2 ; l'inversion souligne que la complexité est relative et sensible au choix d'ultrafiltre.

Limite

Défini pour des théories complètes et formulé à l'aide d'ultrafiltres réguliers et de la saturation d'ultraproduits ; sa forme précise peut varier selon la classe d'ultrafiltres considérée et est sensible à des hypothèses de théorie des ensembles (par exemple l'existence d'ultrafiltres particuliers).

Tension sémantique

Tension entre l'ordre de Keisler et d'autres hiérarchies (stabilité, simplicité, NIP) : certaines propriétés suivent les niveaux de Keisler mais aucune ne coïncide parfaitement, d'où des façons concurrentes d'évaluer la complexité d'une théorie.

Synthèse

L'Ordre de Keisler organise les théories du premier ordre selon les exigences qu'elles imposent aux ultrafiltres pour obtenir des ultraproduits saturés : c'est un préordre relatif et sensible aux ultrafiltres qui fait le lien entre propriétés combinatoires modèles‑théoriques et comportement d'ultraproduits en théorie des ensembles.