Separatedness in Constructive Topology

We discuss three natural, classically equivalent, Hausdorff separation properties for topological spaces in constructive mathematics. Using Brouwerian examples, we show that our results are the best possible in our constructive framework.

2000 Mathematics Subject Classification:

Keywords and Phrases:

Full text: dvi.gz 16 k, dvi 37 k, ps.gz 428 k, pdf 116 k.

Home Page of DOCUMENTA MATHEMATICA