Stone representation theorem for Boolean algebras in the topos MSet
DOI10.2989/16073606.2021.1979120OpenAlexW3211128338MaRDI QIDQ5872820FDOQ5872820
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
Recommendations
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)
Cites Work
- Sheaves in geometry and logic: a first introduction to topos theory
- Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
- Title not available (Why is that?)
- Boolean algebras in a localic topos
- Algebra in a Grothendieck topos: Injectivity in quasi-equational classes
- Internal completeness and injectivity of Boolean algebras in the topos of M-sets
- Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
- Prime elements in a localic topos
- Boolean algebras in a localic topos
- Category of \(M\)-algebras and internal homomorphisms
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)
