The algebraic numbers definable in various exponential fields

Jonathan Kirby, Angus Macintyre, Alf Onshuus

We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb{C}$ or the Zilber fields, all real abelian algebraic numbers are pointwise def…