Article

# Henson and Rubel's Theorem for Zilber's Pseudoexponentiation

Journal of Symbolic Logic (Impact Factor: 0.54). 03/2009; DOI: 10.2178/jsl/1333566630

Source: arXiv

- [Show abstract] [Hide abstract]

**ABSTRACT:**In this paper we prove that assuming Schanuel's conjecture, an exponential polynomial in one variable over the algebraic numbers has only finitely many algebraic solutions. This implies a positive answer to Shapiro's conjecture for exponential polynomials over the algebraic numbers for pseudoexponential fields as well as for any algebraically closed exponential field satisfying Schanuel's conjecture.10/2009; - [Show abstract] [Hide abstract]

**ABSTRACT:**The algebra of exponential fields and their extensions is developed. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, finitely presented extensions are defined, it is shown that finitely generated strong extensions are finitely presented, and these extensions are classified. An algebraic construction is given of Zilber's pseudo-exponential fields. As applications of the general results and methods of the paper, it is shown that Zilber's fields are not model-complete, answering a question of Macintyre, and a precise statement is given explaining how Schanuel's conjecture answers all transcendence questions about exponentials and logarithms. Connections with the Kontsevich-Zagier, Grothendieck, and Andr\'e transcendence conjectures on periods are discussed, and finally some open problems are suggested.12/2009;

Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.