RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2017, том 56, номер 4, страницы 506–521 (Mi al811)

Эта публикация цитируется в 12 статьях

Универсальные обобщённо вычислимые нумерации и гипериммунность

М. Х. Файзрахманов

Каф. алгебры и матем. логики, Казанский (Приволжский) федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ

Аннотация: Исследуются обобщённо вычислимые нумерации относительно гимериммунных и высоких оракулов. Даётся описание оракулов, относительно которых каждое конечное вычислимое семейство обладает универсальной вычислимой нумерацией. Также приводится характеризация класса оракулов, относительно которых каждая универсальная вычислимая нумерация произвольного конечного семейства множеств является предполной, и устанавливается достаточное условие предполноты универсальных обобщённо вычислимых нумераций. Кроме того, рассматривается вопрос о предельности универсальных нумераций, вычислимых относительно высоких оракулов.

Ключевые слова: обобщённо вычислимая нумерация, универсальная нумерация, предполная нумерация, гиперуммуное множество, высокое множество.

УДК: 510.54+510.57

Поступило: 14.07.2015
Окончательный вариант: 21.03.2017

DOI: 10.17377/alglog.2017.56.408


 Англоязычная версия: Algebra and Logic, 2017, 56:4, 337–347

Реферативные базы данных:


© МИАН, 2024