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

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

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



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






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


Алгебра и логика, 2019, том 58, номер 3, страницы 297–319 (Mi al896)  

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

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

Н. А. Баженов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 мол_нр.


DOI: https://doi.org/10.33048/alglog.2019.58.301

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

Англоязычная версия:
Algebra and Logic, 2019, 58:3, 199–213

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.54
Поступило: 11.04.2018
Окончательный вариант: 24.09.2019

Образец цитирования: Н. А. Баженов, Б. С. Калмурзаев, “О слабо предполных отношениях эквивалентности в иерархии Ершова”, Алгебра и логика, 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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000494787600009}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85074823099}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al896
  • http://mi.mathnet.ru/rus/al/v58/i3/p297

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. I. Yu. Mogilnykh, “Perfect codes from $\mathrm{PGL}(2,5)$ in Star graphs”, Сиб. электрон. матем. изв., 17 (2020), 534–539  mathnet  crossref
    2. N. A. Bazhenov, M. Mustafa, L. San Mauro, M. M. Yamaleev, “Minimal equivalence relations in hyperarithmetical and analytical hierarchies”, Lobachevskii J. Math., 41:2, SI (2020), 145–150  crossref  mathscinet  zmath  isi  scopus
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:102
    Литература:5
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021