Boolean Algebras and Distributive Lattices Treated Constructively
DOI10.1002/MALQ.19990450113zbMATH Open0931.03074OpenAlexW2115716791MaRDI QIDQ4238433FDOQ4238433
Publication date: 18 May 1999
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19990450113
constructive mathematicsdistributive latticesfiltersidealsBoolean algebrasStone representation theorems
Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Relative homological algebra, projective classes (category-theoretic aspects) (18G25) Distributive lattices (06D99) Boolean algebras (Boolean rings) (06E99)
Cites Work
Cited In (10)
- Title not available (Why is that?)
- Some nonstandard methods applied to distributive lattices
- Semantic completeness of first-order theories in constructive reverse mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Filtral pretoposes and compact Hausdorff locales
- Boolean topological distributive lattices and canonical extensions
- Boolean centre of an almost distributive lattice
- Title not available (Why is that?)
- Effectively inseparable Boolean algebras in lattices of sentences
Recommendations
- Algebraic lattices and Boolean algebras 👍 👎
- Boolean algebras derived from a quotient of a distributive lattice 👍 👎
- Constructive Boolean algebras 👍 👎
- Boolean algebras and similar lattices 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Boolean Algebras and Distributive Lattices Treated Constructively
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4238433)
