U-Rank

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
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.