Computability on computable metric spaces
computationally admissible representations of metric spaces
scientific article; zbMATH DE number 218927
scientific article