Note on generalizations of orthocomplete and lattice effect algebras (Q429952)

An effect algebra is a partial algebra \(E=(E;\oplus,0,1)\) such that, for all \(a,b,c \in E\), we have (i) \(\oplus\) is commutative and associative, (ii) given \(a \in E\), there is a unique element \(a'\in E\) such that \(a\oplus a'=1\), and (iii) if \(a\oplus 1\) is defined, then \(a=0\). An effect algebra is (i) \textit{Archimedean} if \(na\) is defined for \(a\neq 0\) only for finitely many \(n\), (ii) \textit{separable} if every orthogonal system of distinct elements is at most countable. The author defines two conditions concerning upper bounds of chains and majorants of any orthogonal system, respectively, and the main result says, for separable Archimedean effect algebra, both notions are equivalent.