Рекурсивные топологические пространства

Рассматривается возможность обобщения конструктивного анализа на неметризуемые топологические пространства $(X,\tau)$. Анализируется роль одной слабой аксиомы о перечислимости отношения $\alpha i\subseteq\alpha j$, где $\alpha\colon\mathbb{N}\to\tau_0$ нумерует некоторую базу топологии $\tau_0\subseteq\tau$. Показано, что этого достаточно, чтобы обобщить теорему об отделении.
Библиогр. 7.