Vol. 7, No. 4, 2013

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

Volume 16
Issue 6, 1327–1546
Issue 5, 1025–1326
Issue 4, 777–1024
Issue 3, 521–775
Issue 2, 231–519
Issue 1, 1–230

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

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
About the Journal
Editorial Board
Editors’ Interests
Submission Guidelines
Submission Form
Policies for Authors
Ethics Statement
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Author Index
To Appear
Other MSP Journals
Finitely presented exponential fields

Jonathan Kirby

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

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.

exponential fields, Schanuel's conjecture, pseudoexponentiation, transcendence
Mathematical Subject Classification 2010
Primary: 03C65
Secondary: 11J81
Received: 1 August 2011
Revised: 8 May 2012
Accepted: 12 May 2012
Published: 29 August 2013
Jonathan Kirby
School of Mathematics
University of East Anglia
Norwich Research Park
United Kingdom