Частичные разрешимые представления в гиперарифметике | Sciact - Система учета научной деятельности ИМ СО РАН

Частичные разрешимые представления в гиперарифметике Научная публикация

Журнал

Сибирский математический журнал
ISSN: 0037-4474

Вых. Данные

Год: 2019, Том: 60, Номер: 3, Страницы: 599-609 Страниц : 11 DOI: 10.33048/smzh.2019.60.309

Ключевые слова

нумерация, разрешимая нумерация, позитивная нумерация, вычислимая нумерация, вычислимое множество, вычислимо перечислимое множество, сводимость по перечислимости, гиперарифметическое множество, конструктивное допустимое множество.

Авторы

Калимуллин И.Ш. ¹ , Пузаренко Вадим Григорьевич ^2,3 , Файзрахманов М.Х. ¹

Организации

1	Казанский (Приволжский) федеральный университет
2	Институт математики им. С.Л. Соболева СО РАН
3	Новосибирский государственный университет

Исследуется проблема существования разрешимых и позитивных Π11- и Σ11-нумераций семейств Π11- и Σ11-конусов относительно включения. Найдены законы, отражающие наличие разрешимых вычислимых Π11- и Σ11-нумераций рассматриваемых семейств в зависимости от аналитической сложности определяющего конус множества.

Калимуллин И.Ш. , Пузаренко В.Г. , Файзрахманов М.Х.
Частичные разрешимые представления в гиперарифметике
Сибирский математический журнал. 2019. Т.60. №3. С.599-609. DOI: 10.33048/smzh.2019.60.309 OpenAlex

Kalimullin I.S. , Puzarenko V.G. , Faizrahmanov M.K.
Partial Decidable Presentations in Hyperarithmetic
Siberian Mathematical Journal. 2019. V.60. N3. P.464-471. DOI: 10.1134/S0037446619030091 WOS Scopus OpenAlex

OpenAlex:

W4245389289

Пока нет цитирований