A nondefinability result for expansions of the ordered real field by the Weierstrass $\wp$ function
Abstract
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 $\wp|_D$ is definable in the structure $(\bar{\mathbb{R}},\wp|_I)$ if and only if the lattice $\Omega$ has complex multiplication. This characterises lattices with complex multiplication in terms of definability.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2020
- DOI:
- 10.48550/arXiv.2006.07437
- arXiv:
- arXiv:2006.07437
- Bibcode:
- 2020arXiv200607437M
- Keywords:
-
- Mathematics - Logic
- E-Print:
- 8 pages, comments welcome