Generalized real numbers in constructive mathematics
scientific article; zbMATH DE number 1251216