О ранговых функциях в стабильных теориях

Рассматриваются ранговые функции, названные нормальными, которые сохраняют свои значения при переходе от типа над моделью к его наследнику. В терминах аксиом дается достаточное условие для того, чтобы ранговая функция была нормальной. Получена характеристика класса стабильных теорий, допускающих нормальные ординальнозначные ранговые функции; указана конкретная ранговая функция, допускаемая всеми такими теориями. Построен пример стабильной теории, которая не допускает никакой нормальной ординальнозначной ранговой функции. В терминах ранговых функций дан достаточный признак вполне определимости типа, с помощью которого можно получить критерий вполне определимости в тотально трансцендентных теориях.
Библ. 12.