10.23638/LMCS-13(3:3)2017
https://lmcs.episciences.org/3772
Georgiev, Ivan
Ivan
Georgiev
Characterization theorem for the conditionally computable real functions
The class of uniformly computable real functions with respect to a small
subrecursive class of operators computes the elementary functions of calculus,
restricted to compact subsets of their domains. The class of conditionally
computable real functions with respect to the same class of operators is a
proper extension of the class of uniformly computable real functions and it
computes the elementary functions of calculus on their whole domains. The
definition of both classes relies on certain transformations of infinitistic
names of real numbers. In the present paper, the conditional computability of
real functions is characterized in the spirit of Tent and Ziegler, avoiding the
use of infinitistic names.
episciences.org
Mathematics - Logic
F.1.1
F.1.3
arXiv.org - Non-exclusive license to distribute
2017-07-06
2017-07-06
2017-07-06
eng
journal article
arXiv:1703.01470
10.48550/arXiv.1703.01470
1860-5974
https://lmcs.episciences.org/3772/pdf
VoR
application/pdf
Logical Methods in Computer Science
Volume 13, Issue 3
Researchers
Students