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