|
Сибирский математический журнал, 1980, том 21, номер 6, страницы 84–95
(Mi smj3804)
|
|
|
|
О ранговых функциях в стабильных теориях
Т. Г. Мустафин Карагандинский государственный университет
Аннотация:
Рассматриваются ранговые функции, названные нормальными, которые сохраняют свои значения при переходе от типа над моделью к его наследнику. В терминах аксиом дается достаточное условие для того, чтобы ранговая функция была нормальной. Получена характеристика класса стабильных теорий, допускающих нормальные ординальнозначные ранговые функции; указана конкретная ранговая функция, допускаемая всеми такими теориями. Построен пример стабильной теории, которая не допускает никакой нормальной ординальнозначной ранговой функции. В терминах ранговых функций дан достаточный признак вполне определимости типа, с помощью которого можно получить критерий вполне определимости в тотально трансцендентных теориях.
Библ. 12.
Статья поступила: 09.11.1978
Образец цитирования:
Т. Г. Мустафин, “О ранговых функциях в стабильных теориях”, Сиб. матем. журн., 21:6 (1980), 84–95; Siberian Math. J., 21:6 (1980), 815–824
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3804 https://www.mathnet.ru/rus/smj/v21/i6/p84
|
|