zbMATH — the first resource for mathematics

Orthocomplete effect algebras. (English) Zbl 1019.03046
Summary: 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.

MSC:
 03G12 Quantum logic 81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) 06E10 Chain conditions, complete algebras
Full Text: