Relatively recursive reals and real functions
scientific article; zbMATH DE number 1238624
scientific article