English

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 Ran,exp\mathbb{R}_{an,\exp} that take integer values at positive integers. Provided that the functions grows slower than the function 2x2^x, 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.

Keywords

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}
}
R2 v1 2026-06-23T15:38:00.224Z