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