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

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

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


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




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

Алгебра и логика, 2018, том 57, номер 3, страницы 338–361
DOI: https://doi.org/10.17377/alglog.2018.57.306 (Mi al853) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

О тьюринговых степенях в утончениях арифметической иерархии

В. Л. Селивановab, М. М. Ямалеевb

a Ин-т сист. информ. им. А. П. Ершова СО РАН, пр. Ак. Лаврентьева, 6, г. Новосибирск, 630090, РОССИЯ
b Казанский (Приволжский) федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ
PDF полного текста (252 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17377/alglog.2018.57.306
Аннотация: Исследуется задача характеризации собственных уровней тонкой иерархии (с точностью до тьюринговой эквивалентности). Известно, что тонкая иерархия исчерпывает арифметические множества и содержит в качестве малого фрагмента конечные уровни иерархий Ершова (релятивизованных относительно ∅n, n<ω), собственность которых известна. Основной результат состоит в нахождении наименьшего нового (т.е. отличного от уровней релятивизиванных иерархий Ершова) собственного уровня. Также показывается, что не все новые уровни будут собственными.
Ключевые слова: иерархия Ершова, тонкая иерархия, аримфметическая иерархия, тьюринговы степени.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 1.1515.2017/4.6
Российский научный фонд 18-11-00028
Работа первого из авторов выполнена за счёт средств субсидии, выделенной Казанскому (Приволжскому) ун-ту для выполнения государственного задания в сфере научной деятельности, проект № 1.1515.2017/4.6. Работа второго из авторов выполнена за счёт гранта Российского научного фонда, проект № 18-11-00028.
Поступило: 12.12.2016
Окончательный вариант: 20.10.2017
Англоязычная версия:
Algebra and Logic, 2018, Volume 57, Issue 3, Pages 222–236
DOI: https://doi.org/10.1007/s10469-018-9495-4
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.51+510.54+510.531+510.532
Образец цитирования: В. Л. Селиванов, М. М. Ямалеев, “О тьюринговых степенях в утончениях арифметической иерархии”, Алгебра и логика, 57:3 (2018), 338–361; Algebra and Logic, 57:3 (2018), 222–236
Цитирование в формате AMSBIB
\RBibitem{SelYam18}
\by В.~Л.~Селиванов, М.~М.~Ямалеев
\paper О тьюринговых степенях в~утончениях арифметической иерархии
\jour Алгебра и логика
\yr 2018
\vol 57
\issue 3
\pages 338--361
\mathnet{http://mi.mathnet.ru/al853}
\crossref{https://doi.org/10.17377/alglog.2018.57.306}
\transl
\jour Algebra and Logic
\yr 2018
\vol 57
\issue 3
\pages 222--236
\crossref{https://doi.org/10.1007/s10469-018-9495-4}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000446300800006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85054185743}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al853
  • https://www.mathnet.ru/rus/al/v57/i3/p338
    • Эта публикация цитируется в следующих 3 статьяx:
    1. Victor Selivanov, Vasco Brattka, Noam Greenberg, Iskander Kalimullin, Mariya Soskova, “Non-collapse of the effective Wadge hierarchy”, COM, 11:3-4 (2022), 335  crossref
    2. A. G. Melnikov, V. L. Selivanov, M. M. Yamaleev, “Turing reducibility in the fine hierarchy”, Ann. Pure Appl. Log., 171:7 (2020), 102766  crossref  mathscinet  zmath  isi  scopus
    3. В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134  mathnet  mathscinet; V. L. Selivanov, “Precomplete numberings”, J. Math. Sci. (N. Y.), 256:1 (2021), 96–124  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:340
    PDF полного текста:61
    Список литературы:48
    Первая страница:10
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025