RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия высших учебных заведений. Математика // Архив

Изв. вузов. Матем., 2021, номер 8, страницы 72–79 (Mi ivm9705)

Краткие сообщения

$CEA$-операторы и иерархия Ершова

М. М. Арсланов, И. И. Батыршин, М. М. Ямалеев

Казанский федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия

Аннотация: Исследуются связи $CEA$ иерархии и иерархии Ершова в $\Delta_2^0$-степенях. Изучается давняя проблема, поднятая в [1] о существовании низкой вычислимо перечислимой (в. п.) степени $\mathbf{a}$, для которой класс всех не вычислимо перечислимых $CEA(\mathbf{a})$ степеней не содержит $2$-в. п. степеней. Данная проблема решена путем доказательства более сильного результата: существует такая невычислимая низкая в. п. степень $\mathbf{a}$, что любая $CEA(\mathbf{a})$ $\omega$-в. п. степень является в. п. Также обсуждаются связанные с этой проблемой вопросы и возможные обобщения полученного результата.

Ключевые слова: относительная перечислимость, вычислимо перечислимое множество, иерархия Ершова, низкое множество.

УДК: 510.535

Поступила: 18.06.2021
Исправленный вариант: 18.06.2021
Принята к публикации: 29.06.2021

DOI: 10.26907/0021-3446-2021-8-72-79


 Англоязычная версия: Russian Mathematics (Izvestiya VUZ. Matematika), 2021, 65:8, 63–69


© МИАН, 2024