|
Математическая логика, алгебра и теория чисел
HKSS-completeness of modal algebras
N. Bazhenov Sobolev Institute of Mathematics, 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia
Аннотация:
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.
Поступила 9 апреля 2021 г., опубликована 1 сентября 2021 г.
Образец цитирования:
N. Bazhenov, “HKSS-completeness of modal algebras”, Сиб. электрон. матем. изв., 18:2 (2021), 923–930
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1411 https://www.mathnet.ru/rus/semr/v18/i2/p923
|
Статистика просмотров: |
Страница аннотации: | 72 | PDF полного текста: | 18 | Список литературы: | 11 |
|