Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 289

Preprint Number 289

Previous Next Preprint server

289. Jonathan Kirby, Angus Macintyre, and Alf Onshuus
The algebraic numbers definable in various exponential fields

Submission date: 21 January 2011.


We prove the following theorems:
Theorem 1: For any E-field with cyclic kernel, in particular C 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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv: pdf, ps.

Last updated: January 25 2011 17:16 Please send your corrections to: