Effective properties of sets and functions in metric spaces with computability structure
scientific article; zbMATH DE number 1306145