Model Theory of Enriched Boolean Algebras | Sciact - Система учета научной деятельности ИМ СО РАН

Model Theory of Enriched Boolean Algebras Научная публикация

Журнал

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Вых. Данные

Год: 2025, Том: 64, Номер: 6, Страницы: 435-446 Страниц : 12 DOI: 10.1007/s10469-026-09846-0

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

Boolean algebra, dense subalgebra, finitely axiomatizable theory, theory without prime model

Авторы

Pal’chunov D.E. ¹ , Trofimov A.V. ²

Организации

1	Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
2	Novosibirsk State University, Novosibirsk, Russia

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

Министерство науки и высшего образования РФ

FWNF-2026-0032

We study enriched Boolean algebras. We describe subalgebras of Boolean algebras determined by fixed elements of automorphisms. We construct a continuum of superatomic Boolean algebras with a distinguished subalgebra whose elementary theories have no prime model. We investigate semigroups of elementary types of Boolean algebras with a distinguished subalgebra and of Boolean algebras with distinguished ideals.

Pal’chunov D.E. , Trofimov A.V.
Model Theory of Enriched Boolean Algebras
Algebra and Logic. 2025. V.64. N6. P.435-446. DOI: 10.1007/s10469-026-09846-0

Поступила в редакцию:	3 июл. 2026 г.
Принята к публикации:	8 июл. 2026 г.
Опубликована online:	2 сент. 2026 г.

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