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

Voir la notice de l'article provenant de la source EMS Press

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. 
Luminiţa Vîţă; Douglas Bridges. Separatedness in constructive topology. Documenta mathematica, Tome 8 (2003), pp. 567-576. doi: 10.4171/dm/151
@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

Cité par Sources :