RUS  ENG
Полная версия
ЖУРНАЛЫ // Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры // Архив

Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 2018, том 157, страницы 8–41 (Mi into405)

Эта публикация цитируется в 1 статье

Тьюрингова вычислимость: структурная теория

М. М. Арсланов, М. М. Ямалеев

Казанский (Приволжский) федеральный университет

Аннотация: В работе приведен обзор результатов последних лет, связанных с разработкой структурной теории $n$-вычислимо перечислимых тьюринговых степеней при $n>1$, а также обсуждаются возможные подходы к решению некоторых открытых проблем.

Ключевые слова: вычислимо-перечислимое множество, тьюрингова степень, иерархия Ершова, определимость.

УДК: 510.6, 510.52, 510.53, 510.57

MSC: 03C57, 03D25, 03D28, 03D45, 03D55


 Англоязычная версия: Journal of Mathematical Sciences (New York), 2021, 256:1, 1–33

Реферативные базы данных:


© МИАН, 2024