Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 218

Preprint Number 218

Previous Next Preprint server

218. Jonathan Kirby
Finitely Presented Exponential Fields

Submission date: 20 December 2009.


The algebra of exponential fields and their extensions is developed. Finitely presented extensions are defined, and it is shown that every finitely generated kernel-preserving strong extension is finitely presented. An algebraic construction is given of Zilber's pseudo-exponential fields. As applications of the method, it is shown that Zilber's fields are not model-complete, and their model-theoretic definable closure and algebraic closure are described, answering questions of Macintyre. A precise statement of why Schanuel's conjecture answers all transcendence questions about exponentials and logarithms is given.

Mathematics Subject Classification:

Keywords and phrases: 03C65; 11J81

Full text arXiv: pdf, ps.

Last updated: December 28 2009 13:55 Please send your corrections to: