The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals

DOI10.1007/BF00750556zbMath0842.03031OpenAlexW2000260263MaRDI QIDQ1910292

D. E. Pal'chunov

Publication date: 31 March 1996

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00750556

zbMATH Keywords

Boolean algebrasinterval algebraLindenbaum-Tarski algebraalgebras with distinguished ideals

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Logical aspects of Boolean algebras (03G05) Models of other mathematical theories (03C65)

Cites Work

• Countably-categorical Boolean algebras with distinguished ideals
• Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Unnamed Item
• Unnamed Item

This page was built for publication: The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals