С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешёток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 2006, том 45, номер 6,страницы 637

Эта публикация цитируется в 25 статьях

Типы изоморфизмов полурешёток Роджерса семейств из различных уровней арифметической иерархии

С. А. Бадаев^a, С. С. Гончаров^b, А. Сорби^c

^a Казахский национальный университет им. аль-Фараби, механико-математический факультет
^b Институт математики им. С. Л. Соболева СО РАН
^c Dipartimento di Scienze Matematiche ed Informatiche Roberto Magari, Università degli Studi di Sienna

Аннотация: Исследуется несовпадение типов изоморфизма полурешёток Роджерса вычислимых нумераций семейств множеств из различных уровней арифметической иерархии.

Ключевые слова: арифметическая иерархия, вычислимая нумерация, полурешётка Роджерса.

УДК: 510.55

Поступило: 30.10.2005