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

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

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



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






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


Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры, 2018, том 157, страницы 106–134 (Mi into409)  

Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Предполные нумерации

В. Л. Селивановab

a Институт систем информатики им. А. П. Ершова СО РАН, г. Новосибирск
b Казанский (Приволжский) федеральный университет
Список литературы:
Аннотация: В обзоре обсуждается теория предполных нумераций, которые часто встречаются в ряде разделов теории вычислимости. Предполные нумерации тесно связаны с различными вариантами теоремы о неподвижной точке, играющей важную методологическую роль. В ряде случаев этот подход позволяет заменить громоздкие доказательства, связанные с так называемым методом приоритета, изящными и простыми применениями этой теоремы. В некотором смысле статья охватывает часть теории вычислимости, в которой можно обойтись элементарными методами.
Ключевые слова: нумерация, предполная нумерация, полная нумерация, универсальность, сводимость, иерархия, индексное множество.
Финансовая поддержка Номер гранта
Российский научный фонд 18-11-00028
Работа выполнена при поддержке Российского научного фонда (проект № 18-11-00028).
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2021, Volume 256, Issue 1, Pages 96–124
DOI: https://doi.org/10.1007/s10958-021-05422-2
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5, 512.565.2
MSC: 03D45, 03C57
Образец цитирования: В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134; J. Math. Sci. (N. Y.), 256:1 (2021), 96–124
Цитирование в формате AMSBIB
\RBibitem{Sel18}
\by В.~Л.~Селиванов
\paper Предполные нумерации
\inbook Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета
\serial Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз.
\yr 2018
\vol 157
\pages 106--134
\publ ВИНИТИ РАН
\publaddr М.
\mathnet{http://mi.mathnet.ru/into409}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3940085}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2021
\vol 256
\issue 1
\pages 96--124
\crossref{https://doi.org/10.1007/s10958-021-05422-2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/into409
  • https://www.mathnet.ru/rus/into/v157/p106
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры
    Статистика просмотров:
    Страница аннотации:217
    PDF полного текста:147
    Список литературы:24
    Первая страница:6
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024