Sharply Orthocomplete Effect Algebras
Mathematical Physics
2010-05-21 v1 Logic
math.MP
Quantum Algebra
Abstract
Special types of effect algebras called sharply dominating and S-dominating were introduced by S. Gudder in \cite{gudder1,gudder2}. We prove statements about connections between sharp orthocompleteness, sharp dominancy and completeness of . Namely we prove that in every sharply orthocomplete S-dominating effect algebra the set of sharp elements and the center of are complete lattices bifull in . If an Archimedean atomic lattice effect algebra is sharply orthocomplete then it is complete.
Keywords
Cite
@article{arxiv.1005.3678,
title = {Sharply Orthocomplete Effect Algebras},
author = {Martin Kalina and Jan Paseka and Zdenka Riečanová},
journal= {arXiv preprint arXiv:1005.3678},
year = {2010}
}