3 papers
math.LO2025
Sharp o-minimality and lattice point counting
Andrew Harrison-Migochi, Raymond McCulloch
Let be a lattice and let be a definable family in an o-minimal expansion of the real field, . A result…
math.LO2024
Integer-valued o-minimal functions
Neer Bhardwaj, Raymond McCulloch, Nandagopal Ramachandran +1
We study -definable functions that take integer values at all sufficiently large positive integers. If $|f(x)|= O\big(2^…
math.LO2020
A nondefinability result for expansions of the ordered real field by the Weierstrass function
Raymond McCulloch
Suppose that is a complex lattice that is closed under complex conjugation and that is a small real interval, and that is a disc in . Then the restriction…