Separatedness in constructive topology
Luminiţa Vı̂ţă, Douglas Bridges · Documenta Mathematica · 2003
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.