Type-decomposition of an effect algebra (Q535623)

The authors study centrally orthocomplete effect algebras, i.e. effect algebras with the property that every family of elements dominated by an orthogonal family of central elements has a supremum. They introduce a general notion of decomposition into types, prove that centrally orthocomplete effect algebra decomposes uniquely to a direct sum of types I--III, and obtain a generalization of \textit{A. Ramsay}'s fourfold decomposition of a complete orthomodular lattice [Trans. Am. Math. Soc. 116, 9--31 (1965; Zbl 0163.26206)].