Аннотация:
В статье исследуются обобщения главных и полных нумераций,
называемые $e$-главными и $e$-полными соответственно и
согласованные с введенной Дегтевым $e$-сводимостью нумераций.
Доказано, что для произвольного множества $A$ любое конечное семейство
$A$-вычислимо перечислимых множеств обладает $A$-вычислимой
$e$-главной нумерацией. Получены необходимые и достаточные условия
тьюринговой полноты множества $A$ в терминах $e$-главных и
$e$-полных нумераций $A$-вычислимых семейств. Установлено,
что классы $e$-полных и предполных нумерацией не сравнимы по включению,
а также для каждого полного по Тьюрингу множества $A$ и
каждого бесконечного $A$-вычислимого семейства построена
его $e$-полная $A$-вычислимая нумерация,
которая является одновременно $e$-минимальной и минимальной.
Библиография: 35 названий.
Работа поддержана грантом
Российского научного фонда № 23-21-00181, https://rscf.ru/project/23-21-00181/,
и выполнена в рамках реализации
программы развития Научно-образовательного математического центра
Приволжского федерального округа (соглашение № 075-02-2024-1438).