|
Эта публикация цитируется в 12 научных статьях (всего в 12 статьях)
Универсальные обобщённо вычислимые нумерации и гипериммунность
М. Х. Файзрахманов Каф. алгебры и матем. логики, Казанский (Приволжский) федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ
Аннотация:
Исследуются обобщённо вычислимые нумерации относительно гимериммунных и высоких оракулов. Даётся описание оракулов, относительно которых каждое конечное вычислимое семейство обладает универсальной вычислимой нумерацией. Также приводится характеризация класса оракулов, относительно которых каждая универсальная вычислимая нумерация произвольного конечного семейства множеств является предполной, и устанавливается достаточное условие предполноты универсальных обобщённо вычислимых нумераций. Кроме того, рассматривается вопрос о предельности универсальных нумераций, вычислимых относительно высоких оракулов.
Ключевые слова:
обобщённо вычислимая нумерация, универсальная нумерация, предполная нумерация, гиперуммуное множество, высокое множество.
Поступило: 14.07.2015 Окончательный вариант: 21.03.2017
Образец цитирования:
М. Х. Файзрахманов, “Универсальные обобщённо вычислимые нумерации и гипериммунность”, Алгебра и логика, 56:4 (2017), 506–521; Algebra and Logic, 56:4 (2017), 337–347
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al811 https://www.mathnet.ru/rus/al/v56/i4/p506
|
Статистика просмотров: |
Страница аннотации: | 320 | PDF полного текста: | 65 | Список литературы: | 44 | Первая страница: | 10 |
|