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

 Definition

Ein ordinaler Rang in der Stabilitätstheorie für Typen, der andere ordinale Ränge verfeinert, indem er Unterscheidungen von Lascar-strong-Types einbezieht; er ist empfindlich gegenüber der feineren Äquivalenzrelation, die durch Lascar-strong-Types gegeben ist, und deren Erweiterungsverhalten.

 

 

 

 

 

 





## Prinzip

Prinzip

Der Lascar-Rang wird unter Verwendung von Verfeinerungen der Typäquivalenz (Lascar-strong-Types) und von Ketten von Erweiterungen definiert, die diese strong-type-Klassen respektieren; Ordinale werden durch ein ähnliches induktives Schema wie bei anderen Rängen vergeben, jedoch unter Verwendung von Lascar-strong-Splittungs- oder Erweiterungsbedingungen.

 

 

 

 

 





## Demonstration

Demonstration

In Kontexten, in denen Lascar-strong-Types eine Rolle spielen (z. B. für feine Kontrolle von Automorphismenorbiten), kann der Lascar-Rang Typen unterscheiden, die denselben Morley- oder U-Rang teilen; zwei Typen mit gleichem Morley-Rang können unterschiedlichen Lascar-Rang haben, weil sie in verschiedene Lascar-strong-Komponenten zerfallen.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Den Lascar-Rang mit U-Rang oder Morley-Rang gleichzusetzen, ohne strong-type-Unterscheidungen zu prüfen, oder zu versuchen, ihn in Situationen zu berechnen, in denen Lascar-strong-Types schlecht verstanden sind oder die Lascar-Äquivalenzrelation zusammenfällt.

 

 

 

 

 





## Konsequenz

Konsequenz

Der Lascar-Rang verfeinert die Klassifikation, indem er subtilere Unterschiede zwischen Typen entdeckt, die andere ordinale Ränge übersehen; er kann zusätzliche interne Symmetrien oder Asymmetrien in definierbaren Mengen offenbaren und in feinere Strukturtheoreme über Automorphismengruppen und kanonische Basen eingehen.

 

 

 

 

## Umkehrung

Umkehrung

Wo der Lascar-Rang zu gröberen Rängen kollabiert, sind strong-type-Unterschiede unsichtbar und viele feine strukturelle Folgerungen entfallen; wenn der Lascar-Rang dagegen strikt feiner ist, erhält man höhere Auflösung auf Kosten größerer technischer Komplexität.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Definiert für Typen in Theorien, in denen Lascar-strong-Types und deren Erweiterungsverhalten eine Rolle spielen; in manchen Theorien stimmen Lascar-strong-Types mit gewöhnlichen strong types überein, und der Lascar-Rang liefert dann keine zusätzlichen Informationen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung zwischen Lascar-Rang und gröberen Rängen (U- oder Morley-Rang): Der Lascar-Rang tauscht Einfachheit gegen Sensitivität und unterscheidet mitunter Typen, die unter anderen ordinalen Maßen identisch erscheinen; er steht auch in Beziehung zur Lascar-Distanz und kann mit dieser verwechselt werden, wenn man nicht vorsichtig ist.

 

 

 

 

 





## Synthese

Synthese

Der Lascar-Rang ist eine Verfeinerung ordinaler modelltheoretischer Ränge, die Lascar-strong-type-Information einbezieht, um eine feinere Messung der Typkomplexität und des Erweiterungsverhaltens zu liefern; nützlich, wenn automorphismensensitive Unterscheidungen relevant sind.