Sharp o-minimality and lattice point counting

Andrew Harrison-Migochi, Raymond McCulloch

Let $\hat{I}›\subseteq {\mathbb{R}}^n$ be a lattice and let $Z\subseteq {\mathbb{R}}^{m+n}$ be a definable family in an o-minimal expansion of the real field, $\overline{\mathbb{R}}$. A result…