Stone representation theorem for Boolean algebras in the topos MSet

DOI10.2989/16073606.2021.1979120MaRDI QIDQ5872820zbMATH OpenOpenAlexFDO

Authors Sara Sepahani, Mojgan Mahmoudi

Publication date 4 January 2023

Published in Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2989/16073606.2021.1979120

zbMATH Keywords

Boolean algebratoposmonoid\(M\)-setStone representation

Mathematics Subject Classification ID

Topoi (18B25) Representation of semigroups; actions of semigroups on sets (20M30) Functor categories, comma categories (18A25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Generalizations of Boolean algebras (06E75)

Recommendations

• Gelfand theorem implies Stone representation theorem of Boolean rings
• Boolean algebras in a localic topos
• Choice-free Stone duality
• Stone topological representation theorem for \(R_0\)-algebras.
• scientific article; zbMATH DE number 8768

Cites work

• scientific article; zbMATH DE number 1846783 (Why is no real title available?)
• Algebra in a Grothendieck topos: Injectivity in quasi-equational classes
• Boolean algebras in a localic topos
• Boolean algebras in a localic topos
• Category of \(M\)-algebras and internal homomorphisms
• Internal completeness and injectivity of Boolean algebras in the topos of M-sets
• Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• Prime elements in a localic topos
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(8)

• First Order Theory of Complete Stonean Algebras (Boolean-Valued Real and Complex Numbers)
• A natural axiom system for Boolean algebras with applications
• Gelfand theorem implies Stone representation theorem of Boolean rings
• The Stone spaces of Boolean algebras
• Internal completeness and injectivity of Boolean algebras in the topos of M-sets
• Boolean algebra as a fragment of the theory of Boolean toposes
• Stone Duality for Nominal Boolean Algebras with И
• Choice-free Stone duality

This page was built for publication: Stone representation theorem for Boolean algebras in the topos MSet

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5872820)