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

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

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



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






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


Алгебра и логика, 2016, том 55, номер 2, страницы 133–155 (Mi al735)  

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

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

Н. А. Баженов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, а также за счёт средств субсидии, выделенной в рамках государственной поддержки Казанского (Приволжского) федерального университета в целях повышения его конкурентоспособности среди ведущих мировых научно-образовательных центров.


DOI: https://doi.org/10.17377/alglog.2016.55.201

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

Англоязычная версия:
Algebra and Logic, 2016, 55:2, 87–102

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

Тип публикации: Статья
УДК: 512.563+510.5
Поступило: 07.05.2014
Окончательный вариант: 03.12.2015

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


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al735
  • http://mi.mathnet.ru/rus/al/v55/i2/p133

    ОТПРАВИТЬ: 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. N. Bazhenov, “Autostability spectra for decidable structures”, Math. Struct. Comput. Sci., 28:3, SI (2018), 392–411  crossref  mathscinet  isi  scopus
    2. Н. А. Баженов, М. И. Марчук, “Степени автоустойчивости простых булевых алгебр”, Алгебра и логика, 57:2 (2018), 149–174  mathnet  crossref; N. A. Bazhenov, M. I. Marchuk, “Degrees of autostability for prime Boolean algebras”, Algebra and Logic, 57:2 (2018), 98–114  crossref  isi
    3. Н. А. Баженов, М. И. Марчук, “Степени автоустойчивости относительно сильных конструктивизаций графов”, Сиб. матем. журн., 59:4 (2018), 719–735  mathnet  crossref; N. A. Bazhenov, M. I. Marchuk, “Degrees of autostability relative to strong constructivizations of graphs”, Siberian Math. J., 59:4 (2018), 565–577  crossref  isi  elib
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:111
    Полный текст:9
    Литература:16
    Первая стр.:5
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019