A nondefinability result for expansions of the ordered real field by the Weierstrass $\wp$ function

Raymond McCulloch

Suppose that $\Omega$ is a complex lattice that is closed under complex conjugation and that $I$ is a small real interval, and that $D$ is a disc in $\mathbb{C}$. Then the restriction…