Computable functions of reals
Katrin Tent, Martin Ziegler · URN:NBN Resolver for Germany & Switzerland (German National Library) · 2010
We introduce a new notion of computable function on R N and prove some basic properties. We give two applications, first a short proof of Yoshinaga’s theorem that periods are elementary (they are actually lower elementary). We also show that the lower elementary complex numbers form an algebraically closed field closed under exponentiation and some other special functions. 1