JournalsdmVol. 8pp. 567–576

Separatedness in constructive topology

  • Luminiţa Vîţă

  • Douglas Bridges

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

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

DOI 10.4171/DM/151