##  [Rang de Lascar](/fr/node/60366) 

 Définition

Un rang ordinal en théorie de la stabilité sur les types qui raffine d'autres rangs ordinaux en incorporant les distinctions de Lascar strong types ; il est sensible à la relation d'équivalence plus fine donnée par les types forts de Lascar et à leur comportement d'extension.

 

 

 

 

 

 





## Principe

Principe

Le rang de Lascar se définit en utilisant des raffinements de l'équivalence de type (types forts de Lascar) et des chaînes d'extensions respectant ces classes de types forts ; des ordinaux sont attribués par un schéma inductif analogue à d'autres rangs mais en employant des conditions de scission ou d'extension en termes de Lascar-strong.

 

 

 

 

 





## Démonstration

Démonstration

Dans des contextes où les Lascar strong types comptent (par exemple pour un contrôle fin des orbites d'automorphismes), le rang de Lascar peut distinguer des types ayant le même rang de Morley ou U ; deux types de même rang de Morley peuvent avoir des rangs de Lascar différents parce qu'ils se décomposent en composants Lascar strong différents.

 

 

 

 

## Mauvaise application

Mauvaise application

Considérer le rang de Lascar comme identique à l'U-rank ou au rang de Morley sans vérifier les distinctions de types forts, ou tenter de le calculer dans des cadres où les Lascar strong types sont mal compris ou où la relation d'équivalence de Lascar se réduit.

 

 

 

 

 





## Conséquence

Conséquence

Le rang de Lascar affine la classification en détectant des différences plus subtiles entre types que d'autres rangs ordinaux manquent ; il peut révéler des symétries ou asymétries internes supplémentaires dans les ensembles définissables et alimenter des théorèmes structurels plus fins sur les groupes d'automorphismes et les bases canoniques.

 

 

 

 

## Inversion

Inversion

Lorsque le rang de Lascar se réduit aux rangs plus grossiers, les distinctions de types forts sont invisibles et de nombreuses conclusions structurelles fines échouent ; inversement, lorsque le rang de Lascar est strictement plus fin, on gagne en résolution au prix d'une complexité technique accrue.

 

 

 

 

 





## Limite

Limite

Défini pour les types dans les théories où les Lascar strong types et leur comportement d'extension ont du sens ; dans certaines théories les Lascar strong types coïncident avec les strong types ordinaires et le rang de Lascar n'apporte aucune information supplémentaire.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre le rang de Lascar et les rangs plus grossiers (U-rank ou rang de Morley) : le rang de Lascar échange simplicité contre sensibilité, parfois en distinguant des types qui paraissent identiques sous d'autres mesures ordinales ; il est aussi lié à la distance de Lascar et peut être confondu avec elle si l'on n'y prend pas garde.

 

 

 

 

 





## Synthèse

Synthèse

Le rang de Lascar est un raffinement des rangs ordinaux en théorie des modèles qui incorpore l'information des Lascar strong types pour fournir une mesure plus fine de la complexité des types et de leur comportement d'extension, utile lorsque les distinctions sensibles aux automorphismes importent.