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

Abstract: Suppose that

O m e g a

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

m a t h b b C

. Then the restriction

w p |_{D}

is definable in the structure

if and only if the lattice

O m e g a

has complex multiplication. This characterises lattices with complex multiplication in terms of definability.

This page was built for publication: A nondefinability result for expansions of the ordered real field by the Weierstrass $\wp$ function