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