СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Подзоров С. Ю. Арифметические $m$-степени // Том 49 (2008), Номер 6, стр. 1391–1410
Дается описание типов изоморфизма главных
идеалов верхней полурешетки $m$-степеней, порожденных
арифметическими множествами. Результат Лахлана 1972~г. для
вычислимо перечислимых $m$-степеней распространяется на
произвольные уровни арифметической иерархии. В качестве следствий
этого результата устанавливается характеризация типов локального
изоморфизма полурешеток Роджерса арифметических нумераций конечных
семейств и доказывается, что нетривиальные полурешетки Роджерса
нумераций, вычислимых на разных уровнях арифметической иерархии,
не могут быть изоморфны, если разрыв между уровнями больше~1.
© Сибирский Математический Журнал, 2003-2006