Мощность моделей теорий исчисления с квантором Хартига

Изучаются вопросы, связанные со спектром теорий исчисления с квантором Хартига. Дается некоторая нижняя граница для числа Ханфа этого исчисления. В ряде частных случаев доказывается аналог теоремы Левенгейма–Сколема–Тарского для этого исчисления. Доказывается, что класс индексов, определимых в этом исчислении кардиналов, замкнут относительно примитивно-рекурсивных ординальных функций.
Библ. 19.