Эффективно перечислимые топологические пространства

В данной статье мы даем положительный ответ на вопрос, поставленный Дана Скоттом, о существовании класса топологических пространств, расширяющего класс вычислимых метрических пространств и класс $\omega$-непрерывных областей, и для которого понятие вычислимости совпадает с эффективной непрерывностью. В статье введен и изучен класс эффективно перечислимых топологических пространств, обладающий выше перечисленными свойствами.