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.
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.