Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели | Sciact - Система учета научной деятельности ИМ СО РАН

Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели Научная публикация

Журнал

Доклады Академии наук. Серия: Математика, информатика, процессы управления
ISSN: 2686-9543

Вых. Данные

Год: 2025, Том: 526, Номер: 6, Страницы: 24-29 Страниц : 6 DOI: 10.7868/S3034504925060045

Ключевые слова

Булева алгебра, суператомная булева алгебра, булева алгебра с выделенной подалгеброй, элементарная теория, простая модель

Авторы

Пальчунов Д.Е. ¹ , Трофимов А.В. ²

Организации

1	Институт математики им. С. Л. Соболева СО РАН, Новосибирск, Россия
2	Новосибирский государственный университет, Новосибирск, Россия

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0011

Исследуются булевы алгебры в сигнатуре, обогащенной выделенной подалгеброй. Изучается вопрос существования полных теорий булевых алгебр с выделенной подалгеброй, не имеющих простой модели. Построен континуум булевых алгебр с выделенной подалгеброй, элементарные теории которых различны и не имеют простых моделей, причем для достаточно узкого класса очень просто устроенных алгебр. А именно, это суператомные булевы алгебры с выделенной подалгеброй, изоморфной самой булевой алгебре и почти совпадающей с ней.

Пальчунов Д.Е. , Трофимов А.В.
Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели
Доклады Академии наук. Серия: Математика, информатика, процессы управления. 2025. Т.526. №6. С.24-29. DOI: 10.7868/S3034504925060045

Поступила в редакцию:	1 сент. 2025 г.
Принята к публикации:	14 окт. 2025 г.

Нет идентификаторов

Пока нет цитирований