Embeddings of generalized effect algebras into complete effect algebras

Abstract

Generalized effect algebras as posets are unbounded versions of effect algebras having bounded effect-algebraic extensions. We show that when the MacNeille completion MC(P) of a generalized effect algebra P cannot be organized into a complete effect algebra by extending the operation ⊕ onto MC(P) then still P may be densely embedded into a complete effect algebra. Namely, we show these facts for Archimedean GMV-effect algebras and block-finite prelattice generalized effect algebras. Moreover, we show that extendable commutative BCK-algebras directed upwards are equivalent to generalized MV-effect algebras.