Completion of Boolean algebras in MSet

zbMATH Open1180.06012MaRDI QIDQ1035677FDOQ1035677

Authors: M. Mehdi Ebrahimi, Mojgan Mahmoudi 

Publication date: 4 November 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Recommendations

• Internal completeness and injectivity of Boolean algebras in the topos of M-sets
• Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
• Some properties of boolean ordered sets
• On the normal completion of a Boolean algebra
• Publication:4726301

zbMATH Keywords

Boolean algebracompletion\(M\)-set

Mathematics Subject Classification ID

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

Cites Work

• Topoi. The categorial analysis of logic
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• The category of \(S\)-posets.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Chain-complete posets and directed sets with applications
• Title not available (Why is that?)
• A uniform approach to inductive posets and inductive closure
• Minimally generated Boolean algebras
• Categorial characterization of the MacNeille completion
• Bases for Chain-complete Posets
• Dynamic algebras: Examples, constructions, applications
• Categories of chain-complete posets
• Algebra in a Grothendieck topos: Injectivity in quasi-equational classes
• Title not available (Why is that?)
• Internal completeness and injectivity of Boolean algebras in the topos of M-sets
• Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Internal injectivity of Boolean algebras in \({\mathcal{MS}}et\)
• On the normal completion of a Boolean algebra
• Tensor product and flatness of \(M\)-algebras
• Essential pure monomorphisms of sheaves of group actions.
• Internal completeness and injectivity of Boolean algebras in the topos of M-sets
• Boolean algebra as a fragment of the theory of Boolean toposes

This page was built for publication: Completion of Boolean algebras in MSet

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