We prove model completeness for the expansion of the real field by the Weierstrass ℘ function as a function of the variable z and the parameter (or period) τ. We need to existentially define the partial derivatives of the ℘ function with respect to the variable z and the parameter τ. To obtain this result, it is necessary to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ function and the quasi-modular form E2 (we conjecture that these functions are not existentially definable from the functions ℘ alone or even if we use the exponential and restricted sine functions). We prove some auxiliary model-completeness results with the same functions composed with appropriate change of variables. In the conclusion, we make some remarks about the non-effectiveness of our proof and the difficulties to be overcome to obtain an effective model-completeness result, and how to extend these results to appropriate expansion of the real field by automorphic forms.
