|
Краткие сообщения
$CEA$-операторы и иерархия Ершова
М. М. Арсланов, И. И. Батыршин, М. М. Ямалеев Казанский федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
Аннотация:
Исследуются связи $CEA$ иерархии и иерархии Ершова в $\Delta_2^0$-степенях. Изучается давняя проблема, поднятая в [1] о существовании низкой вычислимо перечислимой (в. п.) степени $\mathbf{a}$, для которой класс всех не вычислимо перечислимых $CEA(\mathbf{a})$ степеней не содержит $2$-в. п. степеней. Данная проблема решена путем доказательства более сильного результата: существует такая невычислимая низкая в. п. степень $\mathbf{a}$, что любая $CEA(\mathbf{a})$ $\omega$-в. п. степень является в. п. Также обсуждаются связанные с этой проблемой вопросы и возможные обобщения полученного результата.
Ключевые слова:
относительная перечислимость, вычислимо перечислимое множество, иерархия Ершова, низкое множество.
Поступила: 18.06.2021 Исправленный вариант: 18.06.2021 Принята к публикации: 29.06.2021
Образец цитирования:
М. М. Арсланов, И. И. Батыршин, М. М. Ямалеев, “$CEA$-операторы и иерархия Ершова”, Изв. вузов. Матем., 2021, № 8, 72–79; Russian Math. (Iz. VUZ), 65:8 (2021), 63–69
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm9705 https://www.mathnet.ru/rus/ivm/y2021/i8/p72
|
Статистика просмотров: |
Страница аннотации: | 214 | PDF полного текста: | 51 | Список литературы: | 30 | Первая страница: | 14 |
|