Boolean Algebras and Distributive Lattices Treated Constructively

DOI10.1002/MALQ.19990450113zbMath0931.03074OpenAlexW2115716791MaRDI QIDQ4238433

No author found.

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

zbMATH Keywords

distributive latticesBoolean algebrasconstructive mathematicsidealsfiltersStone representation theorems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Boolean algebras (Boolean rings) (06E99) Other constructive mathematics (03F65) Relative homological algebra, projective classes (category-theoretic aspects) (18G25) Distributive lattices (06D99)

Related Items (1)

Semantic completeness of first-order theories in constructive reverse mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Another condition equivalent to de morgan's law
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• Boolean algebras in a localic topos

This page was built for publication: Boolean Algebras and Distributive Lattices Treated Constructively