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