Théories d'algèbres de Boole munies d'idéaux distingués. II

DOI10.2307/2274482zbMath0716.03033OpenAlexW2097057322MaRDI QIDQ3203011

Alain Touraille

Publication date: 1990

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274482

zbMATH Keywords

elementary theory of Boolean algebras with distinguished family of idealsHeyting algebras of definable ideals

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Models of other mathematical theories (03C65)

Related Items (5)

Unnamed Item ⋮ Stone space partitions indexed by a poset ⋮ Boolean products of real closed valuation rings and fields ⋮ The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ ⋮ An operation related to the Cantor-Bendixson derivative

Cites Work

• Unnamed Item
• Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
• The word problem for \(Heyting^ *\) algebras
• Heyting* algebras, topological Boolean algebras and P.O. systems
• Finitely axiomatizable Boolean algebras with distinguished ideals
• \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
• Comparing The Expressive Power of Some Languages for Boolean Algebras

This page was built for publication: Théories d'algèbres de Boole munies d'idéaux distingués. II