Аннотация:
В статье исследуются обобщения главных и полных нумераций,
называемые 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).