Comparing sets of the Baire space by means of general recursive operators
An equivalent definition of compatibility in pseudo-effect algebras is given, and its relationships with central elements are investigated. Furthermore, pseudo-MV-algebras are characterized among pseudo-effect algebras by means of compatibility.
We introduce the concept of complementary elements in ordered sets. If an ordered set is a lattice, this concept coincides with that for lattices. The connections between distributivity and the uniqueness of complements are shown and it is also shown that modular complemented ordered sets represents “geometries” which are more general than projective planes.
In this paper we investigate the possibility of a regular embedding of a lattice ordered group into a completely distributive vector lattice.