Completion of Boolean algebras in MSet
From MaRDI portal
Publication:1035677
zbMath1180.06012MaRDI QIDQ1035677
M. Mehdi Ebrahimi, Mojgan Mahmoudi
Publication date: 4 November 2009
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Topoi (18B25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Representation of semigroups; actions of semigroups on sets (20M30)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A uniform approach to inductive posets and inductive closure
- Minimally generated Boolean algebras
- Topoi. The categorial analysis of logic
- Algebra in a Grothendieck topos: Injectivity in quasi-equational classes
- Dynamic algebras: Examples, constructions, applications
- Chain-complete posets and directed sets with applications
- Categories of chain-complete posets
- Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
- The category of \(S\)-posets.
- Categorial characterization of the MacNeille completion
- Bases for Chain-complete Posets
- Internal completeness and injectivity of Boolean algebras in the topos of M-sets
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
This page was built for publication: Completion of Boolean algebras in MSet