Ein transfiniter Rang (häufig U oder U-Rank genannt), der vollständigen Typen oder Formeln zugeordnet wird und den Morley-Rang verallgemeinert, indem er die Tiefe von Forking-Ketten misst; er bewertet, wie viele aufeinanderfolgende forking-Erweiterungen ein Typ zulässt.

Prinzip

Induktiv über Forking definiert: U(p) ≥ 0 für jeden nicht-algebraischen Typ p; U(p) ≥ α+1, wenn es eine forking-Erweiterung q von p gibt mit U(q) ≥ α; für ein Limitordinal λ gilt U(p) ≥ λ, wenn U(p) ≥ α für alle α < λ. Das kleinste Ordinal (oder ∞), das die Negation erfüllt, ist U(p).

Demonstration

In superstabilen oder ω-stabilen Theorien stimmen U-Rang und Morley-Rang häufig auf Typen überein; etwa hat in einer stark minimalen Theorie jeder nicht-algebraische Typ U-Rang 1, und in vielen stabilen Gruppen schichtet der U-Rang Typen nach Forking-Komplexität.

Fehlanwendung

Versuche, U-Rang in instabilen Theorien zu berechnen oder zu interpretieren, in denen Forking schlecht gehorcht; Verwechslung von U-Rang mit Morley-Rang ohne Überprüfung der Superstabilität; oder Behandlung von U-Rang als einfache Dimension ohne Bezug auf Forking-Erweiterungen.

Konsequenz

Endlichkeit des U-Rangs aller Typen kennzeichnet Superstabilität; der U-Rang liefert ein quantitatives Maß für Tiefe von Dividing und Forking, stützt Induktionen in Beweisen der Klassifikationstheorie und leitet strukturelle Zerlegungen von Typen und definierbaren Mengen.

Umkehrung

Niedriger (endlicher) U-Rang signalisiert Zähmbarkeit und beschränkte Forking-Tiefe; unendlicher U-Rang zeigt unkontrollierte Forking-Ketten und weist auf Instabilität oder Komplexität jenseits der Superstabilität hin.

Abgrenzung

Gut definiert für Typen und Formeln in Kontexten mit verfügbarer Forking-Theorie (stabile und superstabile Theorien); kann in allgemeinen ersten-Ordnung-Theorien ohne Stabilitätsannahmen unendlich, trivial oder wenig nützlich sein.

Semantische Spannung

Spannung zwischen U-Rang und Morley-Rang: Beide sind ordinale Ränge, aber der U-Rang ist durch Forking-Geometrie definiert und kann in nicht-superstabilen Situationen vom Morley-Rang abweichen; ferner steht er im Spannungsverhältnis zum Lascar-Rang und anderen Verfeinerungen.

Synthese

Der U-Rang ist ein forking-basierter transfiniter Rang für Typen, der geometrische Rangbegriffe verallgemeinert, indem er die ordinale Tiefe aufeinanderfolgender Forking-Erweiterungen misst und somit ein zentrales Werkzeug zur Erkennung und Behandlung von Superstabilität darstellt.