The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals

DOI10.1007/BF00750556zbMATH Open0842.03031OpenAlexW2000260263MaRDI QIDQ1910292FDOQ1910292

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

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

Cites Work

• Decidability of Second-Order Theories and Automata on Infinite Trees
• Countably-categorical Boolean algebras with distinguished ideals
• Lindenbaum-Tarski algebra for the class of Boolean algebras with one distinguished ideal
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Théories d'algèbres de Boole munies d'idéaux distingués. II
• Finitely axiomatizable Boolean algebras with distinguished ideals
• Some Boolean algebras with finitely many distinguished ideals II

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1910292)