Relations between certain classes of effectively topological spaces

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.