The Effectively Enumerable Topological Spaces
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 2, pp. 74-83
Voir la notice de l'article provenant de la source Math-Net.Ru
In this paper we give a positive answer to the question proposed by Dana Scott on existence of a class of topological spaces which contains the computable metric spaces,the effective $\omega$-continuous domains as proper subclasses and for which computability coincides with effective continuity. In this paper we introduce and investigate the class of effectively enumerable topological spaces which satisfy these requirements.
@article{VNGU_2008_8_2_a6,
author = {M. V. Korovina and O. V. Kudinov},
title = {The {Effectively} {Enumerable} {Topological} {Spaces}},
journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
pages = {74--83},
publisher = {mathdoc},
volume = {8},
number = {2},
year = {2008},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a6/}
}
M. V. Korovina; O. V. Kudinov. The Effectively Enumerable Topological Spaces. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 8 (2008) no. 2, pp. 74-83. http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a6/