Une théorie du premier ordre qui généralise les théories stables en admettant une relation d'indépendance (forquage) bien comportée sans exiger la stabilité entière ; la simplicité isole les situations où le calcul du forquage reste utilisable.

Principe

Remplacer le cadre de stabilité complet par une condition combinatoire plus faible qui produit toutefois une notion d'indépendance symétrique et transitive pour les types, permettant un analogue du calcul d'indépendance de la théorie stable.

Démonstration

De nombreuses théories de structures génériques obtenues par amalgamation contrôlée (par exemple, certaines structures relationnelles homogènes) sont simples : elles admettent une relation de forquage satisfaisant des propriétés clés mais ne sont pas stables car elles autorisent plus de diversité combinatoire.

Mauvaise application

Prétendre que la simplicité entraîne toutes les conséquences des théories stables comme des axiomes stricts de rang ou une classification complète par rang de Morley ; les théories simples autorisent des comportements exclus des contextes stables et exigent des invariants différents.

Conséquence

La simplicité fournit un calcul d'indépendance robuste applicable au dividing et au forquage, permettant l'analyse structurelle des types et des modèles, le transfert du contrôle combinatoire vers des arguments de classification, et l'extension de méthodes géométriques au-delà des théories stables.

Inversion

L'opposé correspond à des théories où toute tentative de définir une notion d'indépendance symétrique et bien comportée échoue (par exemple, les théories ayant la propriété d'arbre), et qui résistent donc à la classification basée sur le forquage.

Limite

S'applique aux théories complètes du premier ordre ; la simplicité est plus faible que la stabilité et distincte de NIP ou de l'o-minimalité. Elle exclut les cadres où dividing/forquage se comportent de façon pathologique ou où des caractéristiques d'ordre supérieur modifient les propriétés d'indépendance.

Tension sémantique

Une tension existe avec la stabilité (plus forte) et avec NIP (un autre axe de douceur) : les théories simples permettent une certaine instabilité tout en conservant suffisamment de contrôle pour un calcul d'indépendance, contrairement à la stabilité complète ou aux théories NIP qui restreignent d'autres phénomènes combinatoires.

Synthèse

Les théories simples sont des théories du premier ordre qui, sans être nécessairement stables, admettent un appareil cohérent de forquage/dividing qui soutient nombre d'analyses structurelles et géométriques connues en théorie de la stabilité.