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

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

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



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






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


Алгебра и логика, 2019, том 58, номер 3, страницы 297–319
DOI: https://doi.org/10.33048/alglog.2019.58.301
(Mi al896)
 

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

О слабо предполных отношениях эквивалентности в иерархии Ершова

Н. А. Баженовab, Б. С. Калмурзаевc

a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ
c Казахский нац. ун-т им. аль-Фараби, пр. аль-Фараби, 71, Алма-Ата, 050038, КАЗАХСТАН
Список литературы:
Аннотация: Исследуется вычислимая сводимость $\leq_c$ для отношений эквивалентности в иерархии Ершова. Для произвольного обозначения $a$ ненулевого вычислимого ординала устанавливается существование $\Pi^{-1}_a$-универсального отношения эквивалентности и слабо предполного $\Sigma^{-1}_a$-универсального отношения эквивалентности. Доказывается, что для любого $\Sigma^{-1}_a$-отношения эквивалентности $E$ существует слабо предполное $\Sigma^{-1}_a$-отношение эквивалентности $F$, такое что $E\leq_c F$. Для конечных уровней иерархии Ершова $\Sigma^{-1}_m$, таких что $m=4k+1$ или $m=4k+2$, показывается существование бесконечного числа $\leq_c$-степеней, содержащих слабо предполные, собственные $\Sigma^{-1}_m$-отношения эквивалентности.
Ключевые слова: иерархия Ершова, отношение эквивалентности, вычислимая сводимость, универсальное отношение эквивалентности, слабо предполное отношение эквивалентности.
Финансовая поддержка Номер гранта
Министерство образования и науки Республики Казахстан AP 05131579
Российский фонд фундаментальных исследований 17-301-50022_мол_нр
Работа первого из авторов выполнена при финансовой поддержке Комитета науки МОН РК, грант № AP 05131579, второго из авторов — при финансовой поддержке Российского фонда фундаментальных исследований, проект № 17-301-50022 мол_нр.
Поступило: 11.04.2018
Окончательный вариант: 24.09.2019
Англоязычная версия:
Algebra and Logic, 2019, Volume 58, Issue 3, Pages 199–213
DOI: https://doi.org/10.1007/s10469-019-09538-y
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.54
Образец цитирования: Н. А. Баженов, Б. С. Калмурзаев, “О слабо предполных отношениях эквивалентности в иерархии Ершова”, Алгебра и логика, 58:3 (2019), 297–319; Algebra and Logic, 58:3 (2019), 199–213
Цитирование в формате AMSBIB
\RBibitem{BazKal19}
\by Н.~А.~Баженов, Б.~С.~Калмурзаев
\paper О слабо предполных отношениях эквивалентности в иерархии Ершова
\jour Алгебра и логика
\yr 2019
\vol 58
\issue 3
\pages 297--319
\mathnet{http://mi.mathnet.ru/al896}
\crossref{https://doi.org/10.33048/alglog.2019.58.301}
\transl
\jour Algebra and Logic
\yr 2019
\vol 58
\issue 3
\pages 199--213
\crossref{https://doi.org/10.1007/s10469-019-09538-y}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000494787600009}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85074823099}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al896
  • https://www.mathnet.ru/rus/al/v58/i3/p297
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:206
    PDF полного текста:13
    Список литературы:23
    Первая страница:2
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024