Raymond McCulloch

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2025

Sharp o-minimality and lattice point counting

Andrew Harrison-Migochi, Raymond McCulloch

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

math.LO2024

Integer-valued o-minimal functions

Neer Bhardwaj, Raymond McCulloch, Nandagopal Ramachandran +1

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