Orthocomplete effect algebras
Gejza Jenča, Sylvia Pulmannová · Proceedings of the American Mathematical Society · 2003
We prove that for every orthocomplete effect algebra $E$ the center of $E$ forms a complete Boolean algebra. As a consequence, every orthocomplete atomic effect algebra is a direct product of irreducible ones.