Skip to main content Accessibility help

The algebraic numbers definable in various exponential fields

  • Jonathan Kirby (a1), Angus Macintyre (a2) and Alf Onshuus (a3)


We prove the following theorems. Theorem 1: for any E-field with cyclic kernel, in particular ℂ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: for the Zilber fields, the only pointwise definable algebraic numbers are the real abelian numbers.



Hide All
1.Gonshor, H., An introduction to the theory of surreal numbers, London Mathematical Society Lecture Note Series, Volume 110 (Cambridge University Press, 1986).
2.Jacobson, N., Lectures in abstract algebra, III: Theory of fields and Galois theory, Graduate Texts in Mathematics, Volume 32 (Springer, 1975).
3.Kirby, J., Finitely presented exponential fields, preprint (arXiv:0912.4019v4; 2011).
4.Kirby, J., Exponential algebraicity in exponential fields, Bull. Lond. Math. Soc. 42(5) (2010), 879890.
5.Kirby, J., A note on the axioms for Zilber's pseudo-exponential fields, preprint (arXiv: 1006.0894v2; 2011).
6.Kirby, J., On quasiminimal excellent classes, J. Symb. Logic 75(2) (2010), 551564.
7.Laczkovich, M., The removal of π from some undecidable problems involving elementary functions, Proc. Am. Math. Soc. 131(7) (2003), 22352240.
8.Macintyre, A., Surreal numbers, unpublished notes (1999).
9.Macintyre, A., The complex exponential field is not model complete, unpublished notes (1991).
10.Macintyre, A. and Wilkie, A. J., On the decidability of the real exponential field, in Kreiseliana, pp. 441467 (A. K. Peters, Wellesley, MA, 1996).
11.Mantova, V., Involutions on Zilber fields, preprint (arXiv:1109.6155; 2011).
12.Marker, D., A remark on Zilber's pseudoexponentiation, J. Symb. Logic 71(3) (2006), 791798.
13.Tarski, A., A decision method for elementary algebra and geometry, 2nd edn (University of California Press, Berkeley/Los Angeles, CA, 1951).
14.van den Dries, L. and Ehrlich, P., Fields of surreal numbers and exponentiation, Fund. Math. 167(2) (2001), 173188.
15.van den Dries, L., Macintyre, A. and Marker, D., Logarithmic-exponential power series, J. Lond. Math. Soc. 56(3) (1997), 417434.
16.Wilkie, A. J., Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Am. Math. Soc. 9(4) (1996), 10511094.
17.Zilber, B., Pseudo-exponentiation on algebraically closed fields of characteristic zero, Annals Pure Appl. Logic 132(1) (2005), 6795.
MathJax is a JavaScript display engine for mathematics. For more information see


MSC classification

The algebraic numbers definable in various exponential fields

  • Jonathan Kirby (a1), Angus Macintyre (a2) and Alf Onshuus (a3)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed