Boolean algebras in a localic topos

DOI10.1017/S0305004100065853zbMath0598.18001OpenAlexW2140442410MaRDI QIDQ5903203

Kiran R. Bhutani, Bernhard Banaschewski

Publication date: 1986

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004100065853

zbMATH Keywords

localeStone representation theoremsheaves of Boolean algebras

Mathematics Subject Classification ID

Topoi (18B25) Structure theory of Boolean algebras (06E05)

Related Items (11)

On the normal completion of a Boolean algebra ⋮ Semantic completeness of first-order theories in constructive reverse mathematics ⋮ Stability of abelian groups in a topos of sheaves ⋮ Prime elements in a localic topos ⋮ Unnamed Item ⋮ Zorn's lemma and complete Boolean algebras in intuitionistic type theories ⋮ Boolean algebras in a localic topos ⋮ Internal completeness and injectivity of Boolean algebras in the topos of M-sets ⋮ Boolean Algebras and Distributive Lattices Treated Constructively ⋮ Unnamed Item ⋮ Stone representation theorem for Boolean algebras in the topos MSet

Cites Work

• The Gleason cover of a topos. I
• Another condition equivalent to de morgan's law
• On the strength of the Sikorski extension theorem for Boolean algebras
• WHEN ARE DIVISIBLE ABELIAN GROUPS INJECTIVE?

This page was built for publication: Boolean algebras in a localic topos