JournalsdmVol. 8pp. 567–576

Separatedness in constructive topology

  • Douglas Bridges

  • Luminiţa Vîţă

Separatedness in constructive topology cover
Download PDF

This article is published open access.

Abstract

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.

Cite this article

Douglas Bridges, Luminiţa Vîţă, Separatedness in constructive topology. Doc. Math. 8 (2003), pp. 567–576

DOI 10.4171/DM/151