Article ID Journal Published Year Pages File Type
4661718 Annals of Pure and Applied Logic 2014 27 Pages PDF
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.

Keywords
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, ,