О HKSS-полноте для модальных алгебр
Ключевые слова:
модальная алгебра, вычислимая структура, булева алгебра с операторами, спектр степеней, спектр категоричности, вычислимая размерность, элементарная определимость.Аннотация
В работе исследуются алгоритмические свойства счётных модальных алгебр. Доказано, что класс модальных алгебр является полным в смысле работы Хиршфельдта, Хусаинова, Шора и Слинько. Полученный результат даёт ответ на открытый вопрос автора [Stud. Log., 104 (2016), 1083-1097]. Из результата следует, что любой спектр степеней и любой спектр категоричности могут быть реализованы в классе модальных алгебр.
Загрузки
Опубликован
2021-09-01
Выпуск
Раздел
МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ
