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

DOI10.1134/S0037446616060136zbMath1403.06021OpenAlexW2564634065MaRDI QIDQ515496

Yong-Cai Geng, Sumit K. Garg

Publication date: 16 March 2017

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

Full work available at URL: https://doi.org/10.1134/s0037446616060136

zbMATH Keywords

Boolean algebradecidable theorylocal algebraelementary equivalencefinitely axiomatizable theoryelementary theoryBoolean algebra with distinguished subalgebra

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Models with special properties (saturated, rigid, etc.) (03C50) Structure theory of Boolean algebras (06E05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra
• Constructivizability of superatomic Boolean algebras
• Automorphisms of Boolean algebras definable by fixed elements
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width