1.Abramowitz, M. and Stegun, I. A. (ed.), Handbook of mathematical functions with formulas, graphs, and mathematical tables, Ninth printing of 1965 edition (Dover Books on Mathematics, Dover Publications, New York, 1972).
2.Bianconi, R., Model completeness results for elliptic and abelian functions, Ann. Pure Appl. Logic 54(2) (1991), 121–136.
3.Bianconi, R., Model complete expansions of the real field by modular functions and forms, SAJL 1(1) (2015), 321–335.
4.Denef, J. and van den Dries, L., p-adic and real subanalytic sets, Ann. of Math. (2) 128(1) (1988), 79–138.
5.van den Dries, L., On the elementary theory of restricted elementary functions, J. Symbolic Logic 53(3) (1988), 796–808.
6.van den Dries, L., Macintyre, A. and Marker, D., The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. (2) 140(1) (1994), 183–205.
7.Gabrielov, A. and Vorobjov, N., Complexity of computations with Pfaffian and Noetherian functions, in Normal forms, bifurcations and finiteness problems in differential equations, pp. 211–250 (Kluwer, 2004).
8.Gao, Z., Towards the Andre–Oort conjecture for mixed Shimura varieties: the Ax–Lindemann theorem and lower bounds for Galois orbits of special points, J. Reine Angew. Math. 732 (2017), 85–146.
9.Halphen, G.-H., Traité des fonctions Elliptiques et des leurs Applications, Première Partie: Théorie des Fonctions Elliptiques et des leurs Développements en Séries (Gauthier-Villars, Paris, 1886); https://archive.org/details/traitdesfonctio01halpgoog (accessed in June 2016). 11.Macintyre, A., The Elementary theory of elliptic functions I: the formalism and a special case, in O-minimal Structures, Lisbon 2003 (ed. Edmundo, M. J., Richardson, D. and Wilkie, A.). Proceedings of a Summer School by the European Research and Training Network, RAAG. http://www.maths.manchester.ac.uk/raag/preprints/0159.pdf (Real Algebraic and Analytic Geometry Preprint Server, University of Manchester; accessed in March 2014).
12.Macintyre, A., Some observations about the real and imaginary parts of complex Pfaffian functions, in Model theory with applications to algebra and analysis, Volume 1 (ed. Chatzidakis, Z., Macpherson, D., Pillay, A. and Wilkie, A.), pp. 215–223, London Mathematical Society Lecture Note Series, Volume 349 (Cambridge University Press, Cambridge, 2008).
13.Macintyre, A. and Wilkie, A. J., On the decidability of the real exponential field, In Kreiseliana (ed. Odifreddi, P.), pp. 441–467 (A K Peters, Wellesley, MA, 1996).
14.Peterzil, Y. and Starchenko, S., Uniform definability of the Weierstrass ℘ functions and generalized tori of dimension one, Selecta Math. (N.S.) 10(4) (2004), 525–550.
15.Peterzil, Y. and Starchenko, S., Definability of restricted theta functions and families of abelian varieties, Duke Math. J. 162(4) (2013), 731–765.
16.Pila, J., O-minimality and the André–Oort conjecture for ℂn, Ann. of Math. (2) 173 (2011), 1779–1840.
17.Pila, J. and Wilkie, A., The rational points of a definable set. Duke Math. J. 133 (2006), 591–616.
18.Silverman, J. H., Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics, Volume 151 (Springer-Verlag, New York, 1994).
19.Whittaker, E. T. and Watson, G. N., A course on modern analysis. An introduction to the general theory of infinite processes and of analytic functions; with an account of the principal transcendental functions. Reprint of the fourth (1927) edition. Cambridge Mathematical Library (Cambridge University Press, Cambridge, 1996).
20.Zagier, D., Elliptic modular forms and their applications, In The 1-2-3 of modular forms (ed. Ranestad, K.), Lectures at a Summer School in Nordfjordeid, Norway, pp. 1–103 (Springer-Verlag, Berlin, 2008).