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

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

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



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






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


Алгебра и логика, 2016, том 55, номер 2, страницы 133–155
DOI: https://doi.org/10.17377/alglog.2016.55.201
(Mi al735)
 

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

О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр

Н. А. Баженовabc

a Ин-т матем. им. С.Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
c Казанский федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ
Список литературы:
Аннотация: Доказывается, что для любого вычислимого ординала $\alpha$ тьюрингова степень $\mathbf0^{(\alpha)}$ является степенью автоустойчивости некоторой вычислимой булевой алгебры и степенью автоустойчивости относительно сильных конструктивизаций для некоторой разрешимой булевой алгебры. Показывается, что булева алгебра Харрисона не имеет степени автоустойчивости относительно сильных конструктивизаций. Устанавливается, что индексное множество разрешимых булевых алгебр, имеющих степень автоустойчивости относительно сильных конструктивизаций, является $\Pi^1_1$-полным.
Ключевые слова: автоустойчивость, булева алгебра, автоустойчивость относительно сильных конструктивизаций, степень автоустойчивости, степень категоричности, индексное множество.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации НШ-6848.2016.1
Российский фонд фундаментальных исследований 14-01-00376
Работа выполнена при финансовой поддержке Совета по грантам Президента РФ для государственной поддержки ведущих научных школ, проект НШ-6848.2016.1, Российского фонда фундаментальных исследований, проект 14-01-00376, а также за счёт средств субсидии, выделенной в рамках государственной поддержки Казанского (Приволжского) федерального университета в целях повышения его конкурентоспособности среди ведущих мировых научно-образовательных центров.
Поступило: 07.05.2014
Окончательный вариант: 03.12.2015
Англоязычная версия:
Algebra and Logic, 2016, Volume 55, Issue 2, Pages 87–102
DOI: https://doi.org/10.1007/s10469-016-9381-x
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.563+510.5
Образец цитирования: Н. А. Баженов, “О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр”, Алгебра и логика, 55:2 (2016), 133–155; Algebra and Logic, 55:2 (2016), 87–102
Цитирование в формате AMSBIB
\RBibitem{Baz16}
\by Н.~А.~Баженов
\paper О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр
\jour Алгебра и логика
\yr 2016
\vol 55
\issue 2
\pages 133--155
\mathnet{http://mi.mathnet.ru/al735}
\crossref{https://doi.org/10.17377/alglog.2016.55.201}
\transl
\jour Algebra and Logic
\yr 2016
\vol 55
\issue 2
\pages 87--102
\crossref{https://doi.org/10.1007/s10469-016-9381-x}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000382002800001}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84981194391}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/al735
  • https://www.mathnet.ru/rus/al/v55/i2/p133
  • Эта публикация цитируется в следующих 15 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Алгебра и логика Algebra and Logic
    Статистика просмотров:
    Страница аннотации:253
    PDF полного текста:31
    Список литературы:42
    Первая страница:6
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024