Julho 1999
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.