Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

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

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

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

Казанский (Приволжский) федеральный университет
PDF полного текста (443 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: В работе приведен обзор результатов последних лет, связанных с разработкой структурной теории $n$-вычислимо перечислимых тьюринговых степеней при $n>1$, а также обсуждаются возможные подходы к решению некоторых открытых проблем.
Ключевые слова: вычислимо-перечислимое множество, тьюрингова степень, иерархия Ершова, определимость.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 1.1515.2017/4.6
1.12878.2018/12.1
Работа выполнена при поддержке Минобрнауки РФ в рамках субсидий, выделенных Казанскому федеральному университету для выполнения государственного задания в сфере научной деятельности, проекты № 1.1515.2017/4.6 (М. М. Арсланов) и № 1.12878.2018/12.1 (М. М. Ямалеев).
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2021, Volume 256, Issue 1, Pages 1–33
DOI: https://doi.org/10.1007/s10958-021-05418-y
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6, 510.52, 510.53, 510.57
MSC: 03C57, 03D25, 03D28, 03D45, 03D55
Образец цитирования: М. М. Арсланов, М. М. Ямалеев, “Тьюрингова вычислимость: структурная теория”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 8–41; J. Math. Sci. (N. Y.), 256:1 (2021), 1–33
Цитирование в формате AMSBIB
\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:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры
    Статистика просмотров:
    Страница аннотации:230
    PDF полного текста:99
    Список литературы:20
    Первая страница:9
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024