The algebraic numbers definable in various exponential fields

Jonathan Kirby; Angus Macintyre; Alf Onshuus

doi:10.1017/S1474748012000047

The algebraic numbers definable in various exponential fields

Jonathan Kirby, Angus Macintyre, Alf Onshuus

Algebra, Number Theory, Logic, and Representations (ANTLR)

Research output: Contribution to journal › Article › peer-review

8 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 language	English
Pages (from-to)	825-834
Number of pages	10
Journal	Journal of the Institute of Mathematics of Jussieu
Volume	11
Issue number	4
DOIs	https://doi.org/10.1017/S1474748012000047
Publication status	Published - 2012

Access to Document

10.1017/S1474748012000047

Cite this

@article{c45a7d81a83a47a1a2baa3dd0469d9bd,

title = "The algebraic numbers definable in various exponential fields",

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.",

author = "Jonathan Kirby and Angus Macintyre and Alf Onshuus",

year = "2012",

doi = "10.1017/S1474748012000047",

language = "English",

volume = "11",

pages = "825--834",

journal = "Journal of the Institute of Mathematics of Jussieu",

issn = "1475-3030",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - The algebraic numbers definable in various exponential fields

AU - Kirby, Jonathan

AU - Macintyre, Angus

AU - Onshuus, Alf

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1017/S1474748012000047

DO - 10.1017/S1474748012000047

M3 - Article

SN - 1475-3030

VL - 11

SP - 825

EP - 834

JO - Journal of the Institute of Mathematics of Jussieu

JF - Journal of the Institute of Mathematics of Jussieu

IS - 4

ER -