States on sharply dominating effect algebras
arXiv:1610.02160 · doi:10.1007/s11425-007-0163-8
Abstract
We prove that Archimedean sharply dominating atomic lattice effect algebras can be characterized by property called basic decomposition of elements. As an application we prove the state smearing theorem for these effect algebras.