Computable Separation in Topology, from T_0 to T_3
Computable Separation in Topology, from T_0 to T_3
复制标题
拓扑中的可计算分离，从 T_0 到 T_3
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
K. Weihrauch
中科院分区：
文献类型：
--
作者：
K. Weihrauch
This article continues the study of computable elementary topology started in (Weihrauch, Grubba 2009). We introduce a number of computable versions of the topological $T_0$ to $T_3$ separation axioms and solve their logical relation completely. In particular, it turns out that computable $T_1$ is equivalent to computable $T_2$. The strongest axiom $SCT_3$ is used in (Grubba, Schroeder, Weihrauch 2007) to construct a computable metric.
