Оглавление
U-ранг
-
Определение и свойства U-ранга
- U-ранг – это показатель сложности типа в теории моделей.
- Более высокий U-ранг означает меньшее ограничение, а его существование для всех типов эквивалентно условию сверхустойчивости.
- U-ранг определяется индуктивно, начиная с базовых случаев и расширяя их до разветвленных типов.
- U-ранг монотонен и увеличивается при добавлении ограничений.
- Существует максимальный ранг для типов без рейтинга, и для любого типа с рангом меньше максимального существует тип с более высоким рангом.
-
Примеры и рекомендации
- U-ранг больше нуля, если тип неалгебраичен.
- Для теории алгебраически замкнутых полей U-ранг первого типа равен 1.
- Для любого набора параметров и поля, порожденного этим набором, ранг первого типа над полем равен степени трансцендентности его реализаций над полем.
- В статье приведены рекомендации по форматированию библиографических описаний в HTML.