U-Rank

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Ein transfiniter Rang (häufig U oder U-Rank genannt), der vollständigen Typen oder Formeln zugeordnet wird und den Morley-Rang verallgemeinert, indem er die Tiefe von Forking-Ketten misst; er bewertet, wie viele aufeinanderfolgende forking-Erweiterungen ein Typ zulässt.