|
Вложение первого неконструктивного ординала в полурешетки Роджерса семейств арифметических множеств
М. Х. Файзрахманов Казанский (Приволжский) федеральный университет, ул. Кремлевская, 18, Казань 420008
Аннотация:
Доказывается, что над каждым, за исключением наибольшего, элементом полурешетки Роджерса произвольного $\Sigma^0_n$-вычислимого семейства ($n\geq 2$) можно вложить линейный порядок, изоморфный первому неконструктивному ординалу.
Ключевые слова:
нумерация, полурешетка Роджерса, первый неконструктивный ординал.
Статья поступила: 13.09.2022 Окончательный вариант: 13.09.2022 Принята к печати: 16.05.2023
Образец цитирования:
М. Х. Файзрахманов, “Вложение первого неконструктивного ординала в полурешетки Роджерса семейств арифметических множеств”, Сиб. матем. журн., 64:4 (2023), 830–840
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7801 https://www.mathnet.ru/rus/smj/v64/i4/p830
|
Статистика просмотров: |
Страница аннотации: | 43 | PDF полного текста: | 14 | Список литературы: | 20 | Первая страница: | 2 |
|