The algebraic numbers definable in various exponential fields

J Kirby, Angus Macintyre, Alf Onshuus

Research output: Contribution to journalArticle

7 Citations (Scopus)

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

Cite this