Completion of Boolean algebras in MSet

MaRDI QIDQ1035677zbMATH OpenFDO

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)

zbMATH Keywords

\(M\)-setBoolean algebracompletion

Mathematics Subject Classification ID

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

Review text

The aim of this paper is to study the general notion of an internally complete poset in a topos, in the sense of Johnstone, and to use it to give minimal normal completions for \(M\)-Boolean algebras (Boolean algebras with an action of a monoid \(M\) on them).

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

Cites work

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

Cited in

(7)

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

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)