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

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

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



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






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


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

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

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

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

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

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

Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 1.1515.2017/4.6
1.12878.2018/12.1
Работа выполнена при поддержке Минобрнауки РФ в рамках субсидий, выделенных Казанскому федеральному университету для выполнения государственного задания в сфере научной деятельности, проекты № 1.1515.2017/4.6 (М. М. Арсланов) и № 1.12878.2018/12.1 (М. М. Ямалеев).


Полный текст: PDF файл (443 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.6, 510.52, 510.53, 510.57
MSC: 03C57, 03D25, 03D28, 03D45, 03D55

Образец цитирования: М. М. Арсланов, М. М. Ямалеев, “Тьюрингова вычислимость: структурная теория”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 8–41

Цитирование в формате AMSBIB
\RBibitem{ArsYam18}
\by М.~М.~Арсланов, М.~М.~Ямалеев
\paper Тьюрингова вычислимость: структурная теория
\inbook Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета
\serial Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз.
\yr 2018
\vol 157
\pages 8--41
\publ ВИНИТИ РАН
\publaddr М.
\mathnet{http://mi.mathnet.ru/into405}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3940081}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/into405
  • http://mi.mathnet.ru/rus/into/v157/p8

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры» Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры»
    Просмотров:
    Эта страница:137
    Полный текст:52
    Литература:3
    Первая стр.:9
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022