Reducibility of computable metrics on the real line
scientific article; zbMATH DE number 6846027