Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width

DOI10.1134/S0037446616060136zbMath1403.06021MaRDI QIDQ515496

Yong-Cai Geng, Sumit K. Garg

Publication date: 16 March 2017

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

Boolean algebra; decidable theory; local algebra; elementary equivalence; finitely axiomatizable theory; elementary theory; Boolean algebra with distinguished subalgebra

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03B25: Decidability of theories and sets of sentences

03C50: Models with special properties (saturated, rigid, etc.)

06E05: Structure theory of Boolean algebras

06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)