U-Rank
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Un rang transfini (souvent noté U ou U-rank) attribué à des types complets ou à des formules qui généralise le rang de Morley en mesurant la profondeur des chaînes de forking ; il jauge combien d'extensions par forking un type admet successivement.