The exocenter of a generalized effect algebra (Q442069)

A generalized effect algebra is obtained from an effect algebra if we do not require the existence of the greatest element. Conversely, it can be canonically embedded into an effect algebra by the procedure of unitization. The exocenter is a collection of mappings which, in effect algebras, correspond to projections on central ideals (equivalently, on direct summands). It is a boolean algebra. The authors generalize different types of orthocompleteness from effect algebras to generalized effect algebras, in particular Dedekind orthocompleteness and orthocompleteness with respect to the exocenter. Properties of the exocentral cover (as a generalization of the central cover) are established. The notion of a hull mapping for an effect algebra is generalized to a hull system for a generalized effect algebra. The paper represents a deep and detailed study of this known area of research.