Bernhard Banaschewski, McMaster University (Hamilton)
f-Rings and the Pointfree Stone-Weierstrass Theorem
The Stone-Weierstrass Theorem Approximation Theorem for
compact completely regular frames is obtained as a consequence of
a result about bounded commutative f-rings with unit, where an
f-ring is a lattice-ordered ring in which (a\wedge b)c=(ac)\wedge (bc) for all
a, b and all c\geq 0, and bounded means that, for each a, there exist
natural n such that |a|\leq n.