RESUMO / ABSTRACT
Abril 1997 (Série de quatro seminários / Series of four talks)
Bernhard Banaschewski, McMaster University (Hamilton)
The real numbers in Pointfree Topology
Starting from the frame of reals, defined by generators and relations and the corresponding pointfree notion of real-valued continuous function, these talks deal with some of the major concepts and results classically connected with the reals, such as: the cozero part of a frame, the Stone-Weierstrass Theorem, pseudocompactness, and realcompactness.