Краткие сообщения
Критерии полноты для одного класса сводимостей
М. М. Арсланов Казанский федеральный университет,
Научно-образовательный математический центр Приволжского федерального округа,
ул. Кремлевская, д. 18, г. Казань, 420008, Россия
Аннотация:
В работе изучается один общий подход для получения критериев полноты для широкого класса суб-тьюринговых сводимостей.
Ключевые слова:
сводимость по Тьюрингу, m-сводимость, tt-сводимость, Q-сводимость, неподвижные точки функции, критерий полноты.
УДК:
517.11
Поступила: 25.09.2022
Исправленный вариант: 25.09.2022
Принята к публикации: 28.09.2022
DOI:
10.26907/0021-3446-2022-10-73-78
© , 2024
Полный текст:
PDF файл (330 kB)