Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires

DOI10.2307/2273836zbMath0659.03018OpenAlexW2021073284MaRDI QIDQ3808079

Alain Touraille

Publication date: 1987

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

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

zbMATH Keywords

Heyting algebras of definable idealstheory of Boolean algebras with a family of ideals

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Equational classes, universal algebra in model theory (03C05) Models of other mathematical theories (03C65)

Related Items (6)

Unnamed Item ⋮ Decidable theories of non-projectable \(l\)-groups of continuous functions ⋮ 2005–06 Winter Meeting of the Association for Symbolic Logic ⋮ 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

• On closed elements in closure algebras

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