Completion of Boolean algebras in MSet

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)

zbMATH Keywords

Boolean algebracompletion\(M\)-set

Mathematics Subject Classification ID

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

Related Items (1)

Essential pure monomorphisms of sheaves of group actions.

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