On realization of effect algebras (Q2822862)

It was proved by \textit{J. R. Greechie} in [``Another nonstandard quantum logic (and how I found it)'', in: Math. Found. Quantum Theory. Papers from a conference held at Loyola University, New Orleans, 1977. New York, NY: Academic Press. 71--85 (1978; \url{doi:10.1016/b978-0-12-473250-6.50009-1})] that there exists a finite orthomodular lattice with an order determining set of states which is not order-embeddable into the standard quantum logic, i.e., in the lattice of all closed subspaces of a separable complex Hilbert space. The authors show that a finite generalized effect algebra (in particular, a finite orthomodular lattice) is order-embeddable into the standard effect algebra of effects of a separable complex Hilbert space if and only if it has an order determining set of generalized states which is equivalent to the fact that it is order-embeddable into a power of a finite MV-chain. Moreover, there exists an algorithm deciding whether there is an order embedding of a non-trivial finite generalized effect algebra into the product of finitely many copies of a finite chain MV-effect algebra. If the answer is positive, the algorithm finds this embedding.