Adequate predimension inequalities in differential fields (Q2238129)

The notion of a ``predimension inequality'' (in the context of so-called \textit{Fraïssé construction}) has been introduced by Hrushovski in 1990s. In short, if there is a good predimension notion on a certain category of finite structures, then one can construct its Fraïssé limit (a special kind of a direct limit), which has good model-theoretical properties. In the paper under review, the author considers predimension inequalities in differential fields and formalizes Zilber's notion of \textit{adequacy} of such an inequality. The main examples of predimension inequalities in this context are 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). The author shows (Theorem 1.3) that the Ax-Schanuel inequality for the \(j\)-function is adequate. Using this result, the author performs Hrushovski's construction and obtains a natural candidate for the first-order theory of the differential equation of the \(j\)-function.