Normal semicontinuity and the Dedekind completion of pointfree function rings (Q292834)

This paper deals with the Dedekind completion of the \(\ell\)-ring \(C(L)\) of real functions on a frame \(L\). In an earlier paper [Forum Math. 27, No. 5, 2551--2585 (2015; Zbl 1332.06028)], the authors constructed the Dedekind completion of \(C(L)\) (and its bounded part \(C^*(L)\)) in terms of what they called partial continuous real functions on \(L\). The present paper supplements this earlier one by presenting three different alternative views of the completion. The first is the point-free extension of \textit{R. P. Dilworth}'s [Trans. Am. Math. Soc. 68, 427--438 (1950; Zbl 0037.20205)] construction of the Dedekind completion of the \(\ell\)-ring (Dilworth viewed it as a lattice) \(C(X)\) of real-valued continuous functions on a topological space \(X\). The second view exhibits the Dedekind completion of \(C^*(L)\), for \(L\) a completely regular frame, as a function ring. More precisely, the authors show that the Dedekind completion of \(C^*(L)\) is \(C^*(\mathfrak{B}L)\), where \(\mathfrak{B}L\) denotes the Booleanization of \(L\). Indeed, this is a function ring because, as in the classical case, every C is (isomorphic to) a \(C^*\). After drawing the attention of the reader to the fact that, in general, the Dedekind completion of an arbitrary completely regular frame cannot be a function ring, they identify a class for which it always can. The class in question is that of weakly continuously bounded frames. They show that for such a frame \(L\), the Dedekind completion of \(C(L)\) is \(C(\mathfrak{G}L)\), where \(\mathfrak{G}L\) is the Gleason envelope of \(L\). The latter can be realized as some closed quotient of the coproduct of \(L\) with the frame of ideals of the Booleanization of the Stone-Čech compactification of \(L\). The final construction of the Dedekind completion of \(C(L)\) is in terms of Hausdorff continuous partial real functions on \(L\). It is the point-free version of the approach in terms of interval-valued functions of the Dedekind completion of \(C(X)\) [\textit{R. Anguelov}, Quaest. Math. 27, No. 2, 153--169 (2004; Zbl 1062.54017)]. The paper is well written, and treats this subject very thoroughly. Classical results in this area appear as corollaries of the authors' point-free theorems. Furthermore, these point-free theorems cover a wider scope than their classical antecedents.