Integer-valued o-minimal functions

Neer Bhardwaj, Raymond McCulloch, Nandagopal Ramachandran +1

We study ${\mathbb{R}}_{\text{an},\exp }$-definable functions $f:\mathbb{R}\to \mathbb{R}$ that take integer values at all sufficiently large positive integers. If $|f(x)|= O\big(2^…