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)

Let${\cal F}$=(F; +,.,0, 1, D) be a differentially closed field. We consider the question of definability of the derivation D in reducts of${\cal F}$of the form${\cal F}$R= (F; +,.,0, 1,P)PεRwhereRis some collection of definable sets in${\cal F}$. We give examples and nonexamples and establish some criteria for definability of D. Finally, using the tools developed in the article, we prove that under the assumption of inductiveness of Th (${\cal F}$R) model completeness is a necessary condition for definability of D. This (...) can be seen as part of a broader project where one is interested in finding Ax-Schanuel type inequalities (or predimension inequalities) for differential equations. (shrink)