О $e$-главных и $e$-полных нумерациях
М. Х. Файзрахманов Казанский (Приволжский) федеральный университет
Аннотация:
В статье исследуются обобщения главных и полных нумераций,
называемые
$e$-главными и
$e$-полными соответственно и
согласованные с введенной Дегтевым
$e$-сводимостью нумераций.
Доказано, что для произвольного множества
$A$ любое конечное семейство
$A$-вычислимо перечислимых множеств обладает
$A$-вычислимой
$e$-главной нумерацией. Получены необходимые и достаточные условия
тьюринговой полноты множества
$A$ в терминах
$e$-главных и
$e$-полных нумераций
$A$-вычислимых семейств. Установлено,
что классы
$e$-полных и предполных нумерацией не сравнимы по включению,
а также для каждого полного по Тьюрингу множества
$A$ и
каждого бесконечного
$A$-вычислимого семейства построена
его
$e$-полная
$A$-вычислимая нумерация,
которая является одновременно
$e$-минимальной и минимальной.
Библиография: 35 названий.
Ключевые слова:
нумерация, $e$-главная нумерация, $e$-полная нумерация,
обобщенно вычислимая нумерация.
УДК:
510.5
MSC: 03D45 Поступило: 14.08.2023
Исправленный вариант: 22.03.2024
DOI:
10.4213/mzm14139