MODNET - Preprint Number 289

Preprint Number 289

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

Submission date: 21 January 2011.

Abstract:

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.