The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.

In a dimension group, the projection of a finite intersection of generalized halfspaces is a finite intersection of generalized halfspaces. The dimension groups obeying a stronger version of this result, true in dense Archimedean ordered groups, are characterized algebraically and provided with a simple set of axioms.

In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG 0. We determine whetherG andH are existentially equivalent overG 0. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.