arXiv subjects
Publications and source records attributed to Josef Niederle.
The aim of our paper is to prove the Triple Representation Theorem, which was established by Jenča in the setting of complete lattice effect algebras, for a special class of homogeneous effect algebras, namely TRT-effect algebras. This class includes complete lattice effect algebras, sharply dominating Archimedean atomic lattice effect algebras and homogeneous orthocomplete effect algebras.
The aim of our paper is twofold. First, we thoroughly study the set of meager elements $M(E)$, the set of sharp elements $S(E)$ and the center $C(E)$ in the setting of meager-orthocomplete homogeneous effect algebras $E$. Second, we prove the Triple Representation Theorem for sharply dominating meager-orthocomplete homogeneous effect algebras, in particular orthocomplete homogeneous effect algebras.
The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality property introduced by Tkadlec as common generalizations of orthocomplete and lattice effect algebras. We show that every block of an Archimedean homogeneous effect algebra satisfying the property (W+) is lattice ordered. Hence such effect algebras can be covered by ranges of observables. As a corollary, this yields that every block of a homogeneous orthocomplete effect algebra is lattice ordered. Therefore finite homogeneous effect algebras are covered by MV-algebras.
The aim of our paper is twofold. First, we thoroughly study the set of meager elements M(E), the center C(E) and the compatibility center B(E)in the setting of atomic Archimedean lattice effect algebras E. The main result is that in this case the center C(E) is bifull (atomic) iff the compatibility center B(E) is bifull (atomic) whenever E is sharply dominating. As a by-product, we give a new descriciption of the smallest sharp element over x in E via the basic decomposition of x. Second, we prove the Triple Representation Theorem for sharply dominating atomic Archimedean lattice effect algebras.