Аннотация:
В работе приведен обзор результатов последних лет, связанных с разработкой структурной теории nn-вычислимо перечислимых тьюринговых степеней при n>1n>1, а также обсуждаются возможные подходы к решению некоторых открытых проблем.
Работа выполнена при поддержке Минобрнауки РФ в рамках субсидий, выделенных Казанскому федеральному университету для выполнения государственного задания в сфере научной деятельности, проекты № 1.1515.2017/4.6
(М. М. Арсланов) и № 1.12878.2018/12.1 (М. М. Ямалеев).
Образец цитирования:
М. М. Арсланов, М. М. Ямалеев, “Тьюрингова вычислимость: структурная теория”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 8–41; J. Math. Sci. (N. Y.), 256:1 (2021), 1–33
\RBibitem{ArsYam18}
\by М.~М.~Арсланов, М.~М.~Ямалеев
\paper Тьюрингова вычислимость: структурная теория
\inbook Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета
\serial Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз.
\yr 2018
\vol 157
\pages 8--41
\publ ВИНИТИ РАН
\publaddr М.
\mathnet{http://mi.mathnet.ru/into405}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3940081}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2021
\vol 256
\issue 1
\pages 1--33
\crossref{https://doi.org/10.1007/s10958-021-05418-y}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/into405
https://www.mathnet.ru/rus/into/v157/p8
Эта публикация цитируется в следующих 1 статьяx:
R. R. Bagaviev, “Special Splitting in the 2-c.e. Turing Degrees”, Lobachevskii J Math, 45:4 (2024), 1782
Цитирование в формате AMSBIB
Обратная связь: