Existentially closed exponential fields (Q2022772)

The work of Wilkie, on the real exponential, and Zilber, on the complex exponential, has generated much work on the model theory of exponential fields, i.e. fields endowed with a fixed homomorphism map from its additive to its multiplicative group. From the Introduction : ``(...) However, it is possible to study the model theory and stability theory of the existentially closed models of an inductive theory even when there is no model companion. (...) More recently, there has been interest in positive model theory, which is only slightly more general than Kind 3. This is the approach taken in this paper, and it means that we look at embeddings and existentially definable sets instead of elementary embeddings and all first-order definable sets. Following [\textit{A. Pillay}, Quad. Mat. 6, 23--42 (2000; Zbl 0986.03031)] we call it the Category of existentially closed models rather than Kind 3.'' The authors check that the first-order theory of exponential fields has no model companion. Working only in fields means that being non zero is synonymous with being invertible. Then existential definability becomes synonymous with positive existential definability, and one gets into the realm of positive logic, for which there is a regain of interest since the work of Ben Yaacov and Poizat. In this paper, the authors extend some notions from classification theory to positive logic, in order to study the category of existentially closed exponential fields. In particular, they show that, in the stability hierarchy, the category of existentially closed exponential fields is NSOP\(_1\), but TP\(_2\).