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

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

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



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






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


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

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

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

Н. А. Баженов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 файл

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

Образец цитирования: Н. А. Баженов, Б. С. Калмурзаев, “О слабо предполных отношениях эквивалентности в иерархии Ершова”, Алгебра и логика, 58:3 (2019), 297–319

Цитирование в формате 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}


Образцы ссылок на эту страницу:
  • 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
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:72
    Литература:5
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020