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/}
}
TY  - JOUR
AU  - M. V. Korovina
AU  - O. V. Kudinov
TI  - The Effectively Enumerable Topological Spaces
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2008
SP  - 74
EP  - 83
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a6/
LA  - ru
ID  - VNGU_2008_8_2_a6
ER  - 
%0 Journal Article
%A M. V. Korovina
%A O. V. Kudinov
%T The Effectively Enumerable Topological Spaces
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2008
%P 74-83
%V 8
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2008_8_2_a6/
%G ru
%F 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/