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.