Model Theory of Enriched Boolean Algebras

Model Theory of Enriched Boolean Algebras Full article

Journal

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

Output data

Year: 2025, Volume: 64, Number: 6, Pages: 435-446 Pages count : 12 DOI: 10.1007/s10469-026-09846-0

Tags

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

Authors

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

Affiliations

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

Funding (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

Submitted:	Jul 3, 2026
Accepted:	Jul 8, 2026
Published online:	Sep 2, 2026

No identifiers