Vol. 7, No. 4, 2013

Download this article
Download this article For screen
For printing
Recent Issues

Volume 10
Issue 9, 1845–2052
Issue 8, 1601–1843
Issue 7, 1373–1600
Issue 6, 1147–1371
Issue 5, 939–1146
Issue 4, 695–938
Issue 3, 451–694
Issue 2, 215–450
Issue 1, 1–214

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
Cover
Editorial Board
Editors' Addresses
Editors' Interests
About the Journal
Scientific Advantages
Submission Guidelines
Submission Form
Subscriptions
Editorial Login
Contacts
Author Index
To Appear
 
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Finitely presented exponential fields

Jonathan Kirby

Vol. 7 (2013), No. 4, 943–980
Abstract

We develop the algebra of exponential fields and their extensions. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, we define finitely presented extensions, show that finitely generated strong extensions are finitely presented, and classify these extensions. We give an algebraic construction of Zilber’s pseudoexponential fields. As applications of the general results and methods of the paper, we show that Zilber’s fields are not model-complete, answering a question of Macintyre, and we give a precise statement explaining how Schanuel’s conjecture answers all transcendence questions about exponentials and logarithms. We discuss connections with the Kontsevich–Zagier, Grothendieck, and André transcendence conjectures on periods, and suggest open problems.

Keywords
exponential fields, Schanuel's conjecture, pseudoexponentiation, transcendence
Mathematical Subject Classification 2010
Primary: 03C65
Secondary: 11J81
Milestones
Received: 1 August 2011
Revised: 8 May 2012
Accepted: 12 May 2012
Published: 29 August 2013
Authors
Jonathan Kirby
School of Mathematics
University of East Anglia
Norwich Research Park
Norwich
NR4 7TJ
United Kingdom
http://www.uea.ac.uk/~ccf09tku/