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

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

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



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






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


Алгебра и логика, 2018, том 57, номер 2, страницы 149–174 (Mi al841)  

Степени автоустойчивости простых булевых алгебр

Н. А. Баженовab, М. И. Марчукab

a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ

Аннотация: Исследуется понятие алгоритмической сложности изоморфизмов между вычислимыми копиями булевых алгебр. Находятся степени автоустойчивости для всех простых булевых алгебр. Показывается, что для любых ординалов $\alpha$ и $\beta$ с условием $0\le\alpha\le\beta\le\omega$ существует разрешимая модель, для которой $\mathbf0^{(\alpha)}$ является степенью автоустойчивости относительно сильных конструктивизаций, а $\mathbf0^{(\beta)}$ – степенью автоустойчивости. Доказывается, что для любого ненулевого ординала $\beta\le\omega$ существует разрешимая модель, у которой нет степени автоустойчивости относительно сильных конструктивизаций, а $\mathbf0^{(\beta)}$ является степенью автоустойчивости.

Ключевые слова: спектр автоустойчивости, степень автоустойчивости, булева алгебра, автоустойчивость, простая модель, вычислимая модель, вычислимая категоричность, спектр категоричности, степень категоричности, разрешимая модель, автоустойчивость относительно сильных конструктивизаций.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-31-60058 мол_а_дк
14-01-00376
Министерство образования и науки Российской Федерации НШ-6848.2016.1
Работа первого из авторов выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект № 16-31-60058 мол_а_дк; второго из авторов – при финансовой поддержке Российского фонда фундаментальных исследований, проект № 14-01-00376, и Совета по грантам Президента РФ для государственной поддержки ведущих научных школ, проект НШ-6848.2016.1.


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

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

Англоязычная версия:
Algebra and Logic, 2018, 57:2, 98–114

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

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

Образец цитирования: Н. А. Баженов, М. И. Марчук, “Степени автоустойчивости простых булевых алгебр”, Алгебра и логика, 57:2 (2018), 149–174; Algebra and Logic, 57:2 (2018), 98–114

Цитирование в формате AMSBIB
\RBibitem{BazMar18}
\by Н.~А.~Баженов, М.~И.~Марчук
\paper Степени автоустойчивости простых булевых алгебр
\jour Алгебра и логика
\yr 2018
\vol 57
\issue 2
\pages 149--174
\mathnet{http://mi.mathnet.ru/al841}
\crossref{https://doi.org/10.17377/alglog.2018.57.202}
\transl
\jour Algebra and Logic
\yr 2018
\vol 57
\issue 2
\pages 98--114
\crossref{https://doi.org/10.1007/s10469-018-9483-8}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000440418100002}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85050685818}


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

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