Duality Theorems for Algebras in Convenient Categories.
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.
Page 1