Abstract
We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the diophantine conjecture CIT on atypical intersections of tori with subvarieties is true.
Original language | English |
---|---|
Pages (from-to) | 1680-1706 |
Number of pages | 27 |
Journal | Annals of Pure and Applied Logic |
Volume | 165 |
Issue number | 11 |
Early online date | 9 Jul 2014 |
DOIs | |
Publication status | Published - Nov 2014 |
Keywords
- math.LO
- 03C65, 11G35
- Exponential fields
- Anomalous intersections
- Schanuel's conjecture
- Predimension
Profiles
-
Jonathan Kirby
- School of Engineering, Mathematics and Physics - Reader
- Logic - Member
Person: Research Group Member, Academic, Teaching & Research