Вычислимость и характеризуемость
Руководитель проекта: С.А.Бадаев
Исполнители проекта: С.А.Бадаев
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0208РК01009
Регистрационный номер: 0106РК00850
Ключевые слова: Математическая логика, Ершова иерархия, Иерархии [мат.], Вычислимость [мат.],
Объект исследования: семейства множеств арифметической иерархии и иерархии Ершова. Изучены свойства полурешеток Роджерса семейств множеств арифметической и ершовской иерархий. Построены конструкции пополнения нумераций семейств множеств арифметической иерархии.