RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 2024, том 116, выпуск 3, страницы 461–476 (Mi mzm14139)

О $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


 Англоязычная версия: Mathematical Notes, 2024, 116:3, 541–553


© МИАН, 2024