×

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
PDF BibTeX XML Cite
Full Text: DOI