Geodesic
Separatedness in constructive topology
Documenta mathematica, Tome 8 (2003), pp. 567-576.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Summary: 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{DOCMA_2003__8__a2,
     author = {Bridges, Douglas and V{\^\i}\c{t}\u{a}, Lumini\c{t}a},
     title = {Separatedness in constructive topology},
     journal = {Documenta mathematica},
     pages = {567--576},
     publisher = {mathdoc},
     volume = {8},
     year = {2003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DOCMA_2003__8__a2/}
}
TY  - JOUR
AU  - Bridges, Douglas
AU  - Vîţă, Luminiţa
TI  - Separatedness in constructive topology
JO  - Documenta mathematica
PY  - 2003
SP  - 567
EP  - 576
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_2003__8__a2/
LA  - en
ID  - DOCMA_2003__8__a2
ER  - 
%0 Journal Article
%A Bridges, Douglas
%A Vîţă, Luminiţa
%T Separatedness in constructive topology
%J Documenta mathematica
%D 2003
%P 567-576
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DOCMA_2003__8__a2/
%G en
%F DOCMA_2003__8__a2
Bridges, Douglas; Vîţă, Luminiţa. Separatedness in constructive topology. Documenta mathematica, Tome 8 (2003), pp. 567-576. http://geodesic.mathdoc.fr/item/DOCMA_2003__8__a2/