arXiv:1703.01470 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords conditionally computable real functions, characterization theorem, uniformly computable real functions, elementary functions, infinitistic names Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset