Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661718 | Annals of Pure and Applied Logic | 2014 | 27 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Jonathan Kirby, Boris Zilber,