The algebraic numbers definable in various exponential fields

Jonathan Kirby, Angus Macintyre, Alf Onshuus

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)825-834
Number of pages10
JournalJournal of the Institute of Mathematics of Jussieu
Issue number4
Publication statusPublished - 2012

Cite this