No label defined (Q4955569)

The completion theory for regular \({\mathcal L}_0^*\)-rings is developed. The authors introduce the notion of regular \({\mathcal L}_0^*\)-spaces by means of a certain diagonal property. There are two main results of the paper. Theorem 2.1 says that the category of all regular complete \({\mathcal L}_0^*\)-rings is an epireflective subcategory of all regular \({\mathcal L}_0^*\)-rings having regular completions. In Theorem 2.3 the authors claim that the \(\omega \)-closure of an \({\mathcal L}_0^*\)-ring in the category of all regular \({\mathcal L}_0^*\)-rings having a completion coincides with its regular categorical completion. Two model examples of regular \({\mathcal L}_0^*\)-rings are considered: (a) the ring \(B({\mathbb R})\) of all real-valued measurable functions equipped with the pointwise convergence, (b) the ring \({\mathcal B}\) of all Borel measurable subsets of \({\mathbb R}\). As a corollary from the second result the authors conclude that the ring \(B({\mathbb R})\) is not a regular categorical completion of the subring \(C({\mathbb R})\) of all continuous functions and that the ring \({\mathcal B}\) is not a regular categorical completion of the subring \({\mathcal B}_0\) of all finite unions of half-open intervals. A problem is posed how to describe categorical and regular categorical \({\mathcal L}_0^*\)-ring completions of \(C({\mathbb R})\) and \({\mathcal B}_0\). The productivity of strictness, the notion related to the regularity of \({\mathcal L}_0^*\)-spaces, is discussed and problems concerning certain diagonal conditions are posed.