Integer Valued Definable Functions in $\mathbb{R}_{an,\exp}$
Number Theory
2020-09-02 v2
Abstract
We give two variations on a result of Wilkie's on unary functions defianble in that take integer values at positive integers. Provided that the functions grows slower than the function , Wilkie showed that is must be eventually equal to a polynomial. We show the same conclusion under a stronger growth condition but only assuming that the function takes values sufficiently close to a integers at positive integers. In a different variation we show that it suffices to assume that the function takes integer values on a sufficiently dense subset of the positive integers(for instance primes), again under a stronger growth bound than that in Wilkie's result.
Cite
@article{arxiv.2005.08852,
title = {Integer Valued Definable Functions in $\mathbb{R}_{an,\exp}$},
author = {Gareth Jones and Shi Qiu},
journal= {arXiv preprint arXiv:2005.08852},
year = {2020}
}