The Effectively Enumerable Topological Spaces

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.