English

Uniform Model Completeness for the Real Field with the Weierstrass $\wp$ Function

Logic 2014-10-28 v1

Abstract

In this work is we prove model completeness for the expansion of the real field by the Weierstrass \wp function as a function of the variable zz and the parameter (or period) τ\tau. We need to existentially define the partial derivatives of the \wp function with respect to the variable zz and the parameter τ\tau. In order to obtain this result we need to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ\zeta function and the quasimodular form E2E_2. 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 noneffectiveness of our proof and the difficulties to be overcome to obtain an effective model completeness result.

Cite

@article{arxiv.1410.7191,
  title  = {Uniform Model Completeness for the Real Field with the Weierstrass $\wp$ Function},
  author = {Ricardo Bianconi},
  journal= {arXiv preprint arXiv:1410.7191},
  year   = {2014}
}

Comments

11 pages

R2 v1 2026-06-22T06:37:11.724Z