Homogeneous orthocomplete effect algebras are covered by MV-algebras (Q691794)

From MaRDI portal
Revision as of 16:05, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Homogeneous orthocomplete effect algebras are covered by MV-algebras
scientific article

    Statements

    Homogeneous orthocomplete effect algebras are covered by MV-algebras (English)
    0 references
    0 references
    0 references
    4 December 2012
    0 references
    The authors extend previous work dealing with the question which effect algebras can be expressed as unions of their maximal MV-subalgebras, the key reference being [\textit{G. Jenča}, Order 27, No. 1, 41--61 (2010; Zbl 1193.03084)]. Let \(E\) be an effect algebra and \(S(E)\) its set of sharp elements. Special attention is paid to sharply dominating effect algebras [\textit{S. P. Gudder}, Tatra Mt. Math. Publ. 15, 23--30 (1998; Zbl 0939.03073)], where each \(x\in E\) satisfies \(x=\max\{y\in S(E)\mid y\leq x\}\). The following types of elements are studied in detail: An element \(x\) of an effect algebra is called (i) meager if \(\max\{y\in S(E)\mid y\leq x\}=\{0\}\), (ii) hypermeager if \(\exists y\in E: x\leq y, x\leq y'\) (this is equivalent to the existence of \(x\oplus x\)), (iii) ultrameager if \(\forall y\in S(E), x\leq y: x\leq y\ominus x\).
    0 references
    0 references
    homogeneous effect algebra
    0 references
    orthocomplete effect algebra
    0 references
    lattice effect algebra
    0 references
    difference poset
    0 references
    orthoalgebra
    0 references
    orthomodular poset
    0 references
    orthomodular lattice
    0 references
    center
    0 references
    atom
    0 references
    sharp element
    0 references
    meager element
    0 references
    hypermeager element
    0 references
    ultrameager element
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references