Top Element Problem and Macneille Completions of Generalized Effect Algebras

Effect algebras (EAs), introduced by D. J. Foulis and M. K. Bennett, as common generalizations of Boolean algebras, orthomodular lattices and MV-algebras, are nondistributive algebraic structures including unsharp elements. Their unbounded versions, called generalized effect algebras, are posets which may have or may have not an EA-MacNeille completion, or cannot be embedded into any complete effect algebra. We give a necessary and sufficient condition for a generalized effect algebra to have an EA-MacNeille completion. Some examples are provided.