1. J. Ax, On Schanuel’s conjectures, Ann. Math. 93 (1971), 252–268.
2. A. Baker, Transcendental Number Theory, Cambridge University Press, Cambridge 1975.
3. R. Bianconi, Sine is not definable from Exp in the reals, preprint.
4. A. Macintyre and A.J. Wilkie, On the decidability of the real exponential field, Kreiseliana: About and around Georg Kreisel, A.K. Peters, 1996, pp. 441–467.
5. A.J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc. 9 (1996), 1051–1094.