RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 1980, том 27, выпуск 4, страницы 515–525 (Mi mzm6501)

О недвукардинальном множестве стабильных типов

Т. Г. Мустафин


Аннотация: Как известно, свойства недвукардиальных формул теории обуславливают некоторые ее свойства. В данной работе вводятся и изучаются некоторые отношения $(\gg,-\to,=\rightrightarrows)$ между множествами типов и с ними связываются понятия “недвукардинальности” для множества типов.
Из основной теоремы как следствия получаются усиления некоторых результатов Болдуина Дж. Т., Лахлана А. Н., Еримбетова М. М., а также характеристики стабильности, тотальной трансцендентности и категоричности теории в терминах введенных понятий недвукардинальности. Библ. 9 назв.

УДК: 519.49

Поступило: 31.01.1977


 Англоязычная версия: Mathematical Notes, 1980, 27:4, 253–259

Реферативные базы данных:


© МИАН, 2024