|
Сибирский математический журнал, 2008, том 49, номер 6, страницы 1391–1410
(Mi smj1926)
|
|
|
|
Эта публикация цитируется в 10 научных статьях (всего в 10 статьях)
Арифметические $m$-степени
С. Ю. Подзоров Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Дается описание типов изоморфизма главных идеалов верхней полурешетки $m$-степеней, порожденных арифметическими множествами. Результат Лахлана 1972 г. для вычислимо перечислимых $m$-степеней распространяется на произвольные уровни арифметической иерархии. В качестве следствий этого результата устанавливается характеризация типов локального изоморфизма полурешеток Роджерса арифметических нумераций конечных семейств и доказывается, что нетривиальные полурешетки Роджерса нумераций, вычислимых на разных уровнях арифметической иерархии, не могут быть изоморфны, если разрыв между уровнями больше 1.
Ключевые слова:
арифметическая иерархия, $m$-сводимость, дистрибутивная верхняя полурешетка, лахлановская полурешетка, нумерация, полурешетка Роджерса.
Статья поступила: 03.10.2007
Образец цитирования:
С. Ю. Подзоров, “Арифметические $m$-степени”, Сиб. матем. журн., 49:6 (2008), 1391–1410; Siberian Math. J., 49:6 (2008), 1109–1123
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1926 https://www.mathnet.ru/rus/smj/v49/i6/p1391
|
Статистика просмотров: |
Страница аннотации: | 401 | PDF полного текста: | 168 | Список литературы: | 63 | Первая страница: | 1 |
|