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
Полный текст:
PDF файл (443 kB)
Список литературы
Список цитирования
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2021,
256
:1,
1–33
Реферативные базы данных:
©
МИАН
, 2024