Separatedness in constructive topology
Separatedness in constructive topology
复制标题
构造拓扑中的分离性
DOI：
10.4171/dm/151
复制
发表时间：
2003
影响因子：
0.9
通讯作者：
Luminiţa
中科院分区：
文献类型：
--
作者：
D. Bridges;Luminiţa
本文讨论了构造性数学中拓扑空间的三个自然的、经典等价的豪斯-多夫分离性.使用Brouwerian的例子，我们表明，我们的结果是最好的可能在我们的建设性框架。
We discuss three natural, classically equivalent, Haus- dorff separation properties for topological spaces in constructive math- ematics. Using Brouwerian examples, we show that our results are the best possible in our constructive framework.