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