Geodesic
Separatedness in constructive topology
Documenta mathematica, Tome 8 (2003), pp. 567-576
Cet article a éte moissonné depuis la source EMS Press

Voir la notice de l'article

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. 
@article{10_4171_dm_151,
     author = {Lumini\c{t}a V{\^\i}\c{t}\u{a} and Douglas Bridges},
     title = {Separatedness in constructive topology},
     journal = {Documenta mathematica},
     pages = {567--576},
     year = {2003},
     volume = {8},
     doi = {10.4171/dm/151},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/dm/151/}
}
TY  - JOUR
AU  - Luminiţa Vîţă
AU  - Douglas Bridges
TI  - Separatedness in constructive topology
JO  - Documenta mathematica
PY  - 2003
SP  - 567
EP  - 576
VL  - 8
UR  - http://geodesic.mathdoc.fr/articles/10.4171/dm/151/
DO  - 10.4171/dm/151
ID  - 10_4171_dm_151
ER  - 
%0 Journal Article
%A Luminiţa Vîţă
%A Douglas Bridges
%T Separatedness in constructive topology
%J Documenta mathematica
%D 2003
%P 567-576
%V 8
%U http://geodesic.mathdoc.fr/articles/10.4171/dm/151/
%R 10.4171/dm/151
%F 10_4171_dm_151
Luminiţa Vîţă; Douglas Bridges. Separatedness in constructive topology. Documenta mathematica, Tome 8 (2003), pp. 567-576. doi: 10.4171/dm/151

Cité par Sources :