Une famille de rangs combinatoires/ordinaux introduits par Saharon Shelah (sous des noms tels que 2-rank, D-rank, ou plus généralement rangs de Shelah) qui mesurent la complexité combinatoire de formules et de théories ; différentes variantes capturent différentes lignes de partage en théorie de la classification.

Principe

Les rangs de Shelah se définissent par des schémas combinatoires : arbres, tableaux ou motifs d'alternance, mesurant comment des formules peuvent être organisées pour produire certaines configurations infinies (par ex. motifs de property of order) ; chaque variante impose des tests combinatoires spécifiques donnant des valeurs ordinales ou finies témoignant d'instabilité, de simplicité, de NIP, etc.

Démonstration

Un cas standard est le 2-rank de Shelah (souvent utilisé pour détecter la property of order) : une formule a un 2-rank élevé si l'on peut construire des arbres binaires arbitrairement grands de paramètres réalisant un motif donné ; un rang de Shelah fini d'un type approprié peut caractériser la stabilité ou l'absence de certains motifs de division.

Mauvaise application

Confondre différentes variantes de rangs de Shelah ou utiliser une variante inappropriée pour la ligne de partage étudiée, ou appliquer des critères de rang de Shelah sans vérifier les configurations combinatoires pertinentes ou le régime de paramètres (ce qui mène à des faux négatifs/positifs quant aux propriétés de stabilité).

Conséquence

Les rangs de Shelah fournissent des témoins combinatoires concrets des lignes de partage en théorie de la classification (stable vs unstable, simple vs non-simple, NIP, etc.), permettant des théorèmes précis séparant des classes de théories et guidant l'analyse structurelle des formules et modèles.

Inversion

Un rang de Shelah faible (fini) par rapport à une variante donnée indique une modération vis-à-vis du motif combinatoire testé ; un rang de Shelah élevé ou infini indique la présence du motif correspondant et signale généralement une instabilité ou un comportement combinatoire riche.

Limite

Shelah a introduit une famille de rangs aux définitions et applicabilités distinctes ; aucun rang unique de Shelah ne couvre tous les phénomènes : chacun a son champ (par ex. détecter la property of order, tree property, independence property), et le choix doit s'accorder avec la question de classification.

Tension sémantique

Tension entre les différentes variantes de rangs de Shelah et entre ces rangs et d'autres invariants (dp-rank, VC-dimension, Morley/U-rank) : tous mesurent la complexité combinatoire mais mettent l'accent sur des configurations différentes et donnent des notions de tameness non équivalentes.

Synthèse

Les rangs de Shelah constituent une boîte à outils d'invariants ordinaux combinatoires, chacun construit à partir de tests de motifs particuliers, qui mesurent comment des formules engendrent des configurations infinies complexes et servent ainsi à isoler et formaliser les lignes de partage en classification modèle-théorique.