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