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.

We use some notions from computability in an uncountable setting to describe a difference between the “Zilber field” of size ℵ1ℵ1 and the “Zilber cover” of size ℵ1ℵ1.

In this paper we study predimension inequalities in differential fields and define what it means for such an inequality to be adequate. Adequacy was informally introduced by Zilber, and here we give a precise definition in a quite general context. We also discuss the connection of this problem to definability of derivations in the reducts of differentially closed fields. The Ax-Schanuel inequality for the exponential differential equation (proved by Ax) and its analogue for the differential equation of the j-function (established (...) by Pila and Tsimerman) are our main examples of predimensions. We carry out a Hrushovski construction with the latter predimension and obtain a natural candidate for the first-order theory of the differential equation of the j-function. It is analogous to Kirby's axiomatisation of the theory of the exponential differential equation (which in turn is based on the axioms of Zilber's pseudo-exponentiation), although there are many significant differences. In joint work with Sebastian Eterović and Jonathan Kirby we have recently proven that the axiomatisation obtained in this paper is indeed an axiomatisation of the theory of the differential equation of the j-function, that is, the Ax-Schanuel inequality for the j-function is adequate. (shrink)