On the Dedekind completion of function rings

Abstract

AbstractThis paper introduces the frame of partially defined real numbers and the lattice-ordered ring of partial real functions on a frame. This is then used to construct the order completion of rings of pointfree continuous real functions. The bounded and integer-valued cases are also analysed. The application of this pointfree approach to the classical case C(