Bernhard Banaschewski, McMaster University (Hamilton, Canada)
Stone's real Gelfand Duality in pointfree topology
The familiar 1940 result of M. H. Stone characterizing the rings of real-valued continuous
functions on compact Hausdorff spaces as certain partially ordered rings is obtained without the
classical recourse to the choice-dependent existence of maximal ideals. The main tools for
this are a direct proof that the partially ordered rings in question are f-rings, and the
pointfree notion of function algebra.