2 results
NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 03 April 2024, pp. 1-20
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
-
Let
$\Omega $ be a complex lattice which does not have complex multiplication and 
$\wp =\wp _\Omega $ the Weierstrass 
$\wp $-function associated with it. Let 
$D\subseteq \mathbb {C}$ be a disc and 
$I\subseteq \mathbb {R}$ be a bounded closed interval such that 
$I\cap \Omega =\varnothing $. Let 
$f:D\rightarrow \mathbb {C}$ be a function definable in 
$(\overline {\mathbb {R}},\wp |_I)$. We show that if f is holomorphic on D then f is definable in 
$\overline {\mathbb {R}}$. The proof of this result is an adaptation of the proof of Bianconi for the 
$\mathbb {R}_{\exp }$ case. We also give a characterization of lattices with complex multiplication in terms of definability and a nondefinability result for the modular j-function using similar methods.
LOCAL INTERDEFINABILITY OF WEIERSTRASS ELLIPTIC FUNCTIONS
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 15 / Issue 4 / October 2016
- Published online by Cambridge University Press:
- 24 November 2014, pp. 673-691
- Print publication:
- October 2016
-
- Article
- Export citation
-
We explain which Weierstrass
${\wp}$-functions are locally definable from other 
${\wp}$-functions and exponentiation in the context of o-minimal structures. The proofs make use of the predimension method from model theory to exploit functional transcendence theorems in a systematic way.
