Completeness and modular cross-symmetry in normed linear spaces
The paper considers a generalization of the standard completion of a partially ordered set through the collection of all its lower sets.
We characterize those regular continuous frames for which the least compactification is a perfect compactification. Perfect compactifications are those compactifications of frames for which the right adjoint of the compactification map preserves disjoint binary joins. Essential to our characterization is the construction of the frame analog of the two-point compactification of a locally compact Hausdorff space, and the concept of remainder in a frame compactification. Indeed, one of the characterizations...
A meet semilattice with a partial join operation satisfying certain axioms is a JP-semilattice. A PJP-semilattice is a pseudocomplemented JP-semilattice. In this paper we describe the smallest PJP-congruence containing a kernel ideal as a class. Also we describe the largest PJP-congruence containing a filter as a class. Then we give several characterizations of congruence kernels and cokernels for distributive PJP-semilattices.
Characterization of congruence lattices of finite chains with either one or two endomorphisms is given.