|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Частичные разрешимые представления в гиперарифметике
И. Ш. Калимуллинa, В. Г. Пузаренкоbc, М. Х. Файзрахмановa a Казанский (Приволжский) федеральный университет,
ул. Кремлевская, 18, Казань 420008
b Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
c Новосибирский государственный университет,
ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Исследуется проблема существования разрешимых и позитивных $\Pi^1_1$- и $\Sigma^1_1$-нумераций семейств $\Pi^1_1$- и $\Sigma^1_1$-конусов относительно включения. Найдены законы, отражающие наличие разрешимых вычислимых $\Pi^1_1$- и $\Sigma^1_1$-нумераций рассматриваемых семейств в зависимости от аналитической сложности определяющего конус множества.
Ключевые слова:
нумерация, разрешимая нумерация, позитивная нумерация, вычислимая нумерация, вычислимое множество, вычислимо перечислимое множество, сводимость по перечислимости, гиперарифметическое множество, конструктивное допустимое множество.
Статья поступила: 08.06.2018 Окончательный вариант: 25.10.2018 Принята к печати: 19.11.2018
Образец цитирования:
И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Частичные разрешимые представления в гиперарифметике”, Сиб. матем. журн., 60:3 (2019), 599–609; Siberian Math. J., 60:3 (2019), 464–471
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3097 https://www.mathnet.ru/rus/smj/v60/i3/p599
|
Статистика просмотров: |
Страница аннотации: | 329 | PDF полного текста: | 75 | Список литературы: | 39 | Первая страница: | 12 |
|