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

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

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


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




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

Сибирские электронные математические известия, 2021, том 18, выпуск 2, страницы 923–930
DOI: https://doi.org/10.33048/semi.2021.18.070 (Mi semr1411) 		 
Математическая логика, алгебра и теория чисел

HKSS-completeness of modal algebras

N. Bazhenov

Sobolev Institute of Mathematics, 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia
PDF полного текста (393 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.33048/semi.2021.18.070
Аннотация: The paper studies computability-theoretic properties of countable modal algebras. We prove that the class of modal algebras is complete in the sense of the work of Hirschfeldt, Khoussainov, Shore, and Slinko. This answers an open question of Bazhenov [Stud. Log., 104 (2016), 1083–1097]. The result implies that every degree spectrum and every categoricity spectrum can be realized by a suitable modal algebra.
Ключевые слова: modal algebra, computable structure, Boolean algebra with operators, degree spectrum, categoricity spectrum, computable dimension, first-order definability.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 20-31-70006
The reported study was funded by RFBR, project number 20-31-70006.
Поступила 9 апреля 2021 г., опубликована 1 сентября 2021 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5
MSC: 03C57
Язык публикации: английский
Образец цитирования: N. Bazhenov, “HKSS-completeness of modal algebras”, Сиб. электрон. матем. изв., 18:2 (2021), 923–930
Цитирование в формате AMSBIB
\RBibitem{Baz21}
\by N.~Bazhenov
\paper HKSS-completeness of modal algebras
\jour Сиб. электрон. матем. изв.
\yr 2021
\vol 18
\issue 2
\pages 923--930
\mathnet{http://mi.mathnet.ru/semr1411}
\crossref{https://doi.org/10.33048/semi.2021.18.070}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000695714100006}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1411
  • https://www.mathnet.ru/rus/semr/v18/i2/p923
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:72
    PDF полного текста:18
    Список литературы:11
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024