Low functions of reals
Logic
2010-09-28 v5
Abstract
We introduce a new notion of computable function on and prove some basic properties. We give two applications, first a short proof of Yoshinaga's theorem that periods are \el (they are actually low). We also show that the low complex numbers form a algebraically closed field closed under exponentiation and some other special functions.
Keywords
Cite
@article{arxiv.0903.1384,
title = {Low functions of reals},
author = {Katrin Tent and Martin Ziegler},
journal= {arXiv preprint arXiv:0903.1384},
year = {2010}
}
Comments
We have added a reference to a paper of E. Specker