Аннотация:
Исследуются соотношения между свойствами эффективно
топологических пространств, такими, как наличие перечислимо
регулярной базы, вычислимого пересечения, эффективная регулярность,
нормальность и др.; устанавливается некоторый
алгоритмический (конструктивный) аналог теоремы Урысона о
метризации топологических пространств со счетной базой, показывается
независимость условий, фигурирующих в этом аналоге.
Библ. 8 назв.