Integer Valued Definable Functions in ${\mathbb{R}}_{an,\exp }$

Gareth Jones, Shi Qiu

We give two variations on a result of Wilkie's on unary functions defianble in ${\mathbb{R}}_{an,\exp }$ that take integer values at positive integers. Provided that the functions gro…