Изучены свойства полурешеток Роджерса семейств множеств гиперарифметической иерархии. Показана определимость гиперарифметических множеств в стандартной модели арифметики с помощью бесконечных вычислимых формул. Исследовано несовпадение типов изоморфизма полурешеток Роджерса вычислимых нумераций семейств множеств из различных уровней гиперарифметической иерархии.
