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

Позитивные представления семейств относительно e-оракулов Научная публикация

Журнал

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

Вых. Данные

Год: 2018, Том: 59, Номер: 4, Страницы: 823-833 Страниц : 11 DOI: 10.17377/smzh.2018.59.407

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

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

Авторы

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

Организации

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

Вводится понятие A-нумерации, которое служит обобщением классического понятия нумерации. На рассматриваемые объекты переносятся все понятия, введенные для обычных нумераций, и исследуется проблема существования позитивных и разрешимыхвычислимыхA-нумерацийдляестественных семейств множеств, e-сводящихся к фиксированному множеству. Доказано, что любое семейство с наибольшим по включению множеством, имеющее вычислимую A-нумерацию, имеет и позитивную вычислимую A-нумерацию. Кроме того, для определенных семейств строится разрешимая (даже однозначная) вычислимая всюду определенная A-нумерация в случае, когда A низкое множество; рассматривается также релятивизация, содержащая случаи всех тотальных множеств (которые фактически соответствуют вычислимости с обычным оракулом).

Калимуллин И.Ш. , Пузаренко В.Г. , Файзрахманов М.Х.
Позитивные представления семейств относительно e-оракулов
Сибирский математический журнал. 2018. Т.59. №4. С.823-833. DOI: 10.17377/smzh.2018.59.407

Kalimullin I.S. , Puzarenko V.G. , Faizrahmanov M.K.
Positive Presentations of Families Relative to e-Oracles
Siberian Mathematical Journal. 2018. V.59. N4. P.648-656. DOI: 10.1134/S0037446618040079 WOS Scopus OpenAlex

Нет идентификаторов

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