On realization of generalized effect algebras
arXiv:1208.1450 · doi:10.1016/S0034-4877(12)60052-4
Abstract
A well known fact is that there is a finite orthomodular lattice with an order determining set of states which is not representable in the standard quantum logic, the lattice of all closed subspaces of a separable complex Hilbert space. We show that a generalized effect algebra is representable in the operator generalized effect algebra of effects of a complex Hilbert space iff it has an order determining set of generalized states. This extends the corresponding results for effect algebras of Riečanová and Zajac. Further, any operator generalized effect algebra possesses an order determining set of generalized states.