Completeness properties of function rings in pointfree topology
This note establishes that the familiar internal characterizations of the Tychonoff spaces whose rings of continuous real-valued functions are complete, or -complete, as lattice ordered rings already hold in the larger setting of pointfree topology. In addition, we prove the corresponding results for rings of integer-valued functions.
Conditions under which the least compactification of a regular continuous frame is perfect
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...
Contracting the socle in rings of continuous functions
Correction to the paper: A new look at pointfree metrization theorems