Computably regular topological spaces
scientific article; zbMATH DE number 6206242