A transfinite rank (commonly written U or U-rank) assigned to complete types or formulas that generalizes Morley rank by measuring the depth of forking chains; it gauges how many successive forking extensions a type admits.

Principle

Defined inductively via forking: U(p) ≥ 0 for any non-algebraic type p; U(p) ≥ α+1 if there is a forking extension q of p with U(q) ≥ α; for limit λ, U(p) ≥ λ if U(p) ≥ α for all α < λ. The minimal ordinal (or ∞) satisfying the negation gives U(p).

Demonstration

In superstable or ω-stable theories U-rank and Morley rank often coincide on types; for example, in a strongly minimal theory every non-algebraic type has U-rank 1, and in many stable groups U-rank stratifies types by forking complexity.

Misapplication

Attempting to compute or interpret U-rank in unstable theories where forking lacks good behavior, confusing U-rank with Morley rank without checking superstability, or treating U-rank as a simple dimension without reference to forking extensions.

Consequence

Finite U-rank of all types characterizes superstability; U-rank furnishes a quantitative measure of dividing and forking depth, supports induction in classification proofs, and guides structural decomposition of types and definable sets.

Reversal

Low (finite) U-rank signals tameness and a bounded forking depth; infinite U-rank indicates uncontrolled forking chains and points toward instability or complexity beyond superstability.

Boundary

Well-defined for types and formulas in contexts where forking theory is available (stable and superstable theories); may be infinite, trivial, or useless in general first-order theories without stability assumptions.

Semantic Tension

Tension between U-rank and Morley rank: both are ordinal ranks but U-rank is defined by forking geometry and can diverge from Morley rank in non-superstable settings; also relates uneasily to Lascar rank and other refinements.

Synthesis

U-rank is a forking-based transfinite rank on types that generalizes geometric rank notions by measuring the ordinal depth of successive forking extensions, serving as a central tool in detecting and working with superstability.