Atomistic and orthoatomistic effect algebras
arXiv:0712.3714 · doi:10.1063/1.2912228
Abstract
We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.
6 pages