U-Rank
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un rango transfinto (comúnmente escrito U o U-rank) asignado a tipos completos o fórmulas que generaliza el rango de Morley midiendo la profundidad de las cadenas de forking; valora cuántas extensiones sucesivas por forking admite un tipo.