Model Completeness for the Real Field with the Weierstrass ℘ Function

DOI10.1017/S001309151700044XzbMath1475.03084arXiv1410.7191OpenAlexW2803663999WikidataQ111288270 ScholiaQ111288270MaRDI QIDQ5228175

Ricardo Bianconi

Publication date: 9 August 2019

Published in: Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.7191

zbMATH Keywords

modular formselliptic functionso-minimalitymodel completenessWeierstrass systemsdefinable\(\wp\) functionWeierstrass \({\zeta}\) function

Mathematics Subject Classification ID

Elliptic curves (14H52) Elliptic functions and integrals (33E05) Applications of model theory (03C98) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The hyperbolic Ax-Lindemann-Weierstraß conjecture
• \(p\)-adic and real subanalytic sets
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Model completeness results for elliptic and abelian functions
• The elementary theory of restricted analytic fields with exponentiation
• Towards the André-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points
• Uniform definability of the Weierstrass \(\wp\) functions and generalized tori of dimension one
• Definability of restricted theta functions and families of abelian varieties
• The rational points of a definable set
• Elliptic Modular Forms and Their Applications
• On the elementary theory of restricted elementary functions

This page was built for publication: Model Completeness for the Real Field with the Weierstrass ℘ Function