Relations between certain classes of effectively topological spaces
Matematičeskie zametki, Tome 5 (1969) no. 4, pp. 483-495
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
Relations between properties of effectively topological spaces such as the existence of a countable regular base, a computable intersection, effective regularity, normality etc., are studied; an arithmetic (constructive) analog of Uryson's Theorem on the metrization of topological spaces with denumerable bases is established; it is shown that the conditions in the analog are independent.