Effective continuities on effective topological spaces
Effective continuities on effective topological spaces
复制标题
有效拓扑空间上的有效连续性
DOI：
10.1016/j.jco.2006.06.004
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
S. Iizuka
中科院分区：
文献类型：
--
作者：
S. Iizuka
我们将 Mori、Tsujii 和 Yasugi 提出的有效连续性概念扩展到有效拓扑空间上的实值函数。在合理的假设下，这些函数的Type-2可计算性被表征为顺序可计算性和有效连续性。我们研究具有分离集的有效均匀拓扑空间，并在一些假设下调整上述结果。还证明了有效局部一致连续性意味着相同假设下的有效连续性。
We extend a notion of effective continuity due to Mori, Tsujii and Yasugi to real-valued functions on effective topological spaces. Under reasonable assumptions, Type-2 computability of these functions is characterized as sequential computability and the effective continuity. We investigate effective uniform topological spaces with a separating set, and adapt the above result under some assumptions. It is also proved that effective local uniform continuity implies effective continuity under the same assumptions.
精细可计算函数和有效的精细收敛
DOI：
--
发表时间：
2005
期刊：
Proceedings of Computability and Computability and Compulexity in Analysis 2005
影响因子：
--
作者：
T.Mori;Y.Tsujii;M.Ysugi
通讯作者：
M.Ysugi
函数对角空间的序贯可计算性和极限递归
DOI：
--
发表时间：
2005
期刊：
Proceedings of Computability and Complexity in Analysis 2004 120
影响因子：
--
作者：
Y.Tsuji;M.Yasugi;T.Mori
通讯作者：
T.Mori