The expressive power of first-order logic in the class of finitely generated fields, as structures in the language of rings, is relatively poorly understood. For instance, Pop asked in 2002 whether elementarily equivalent finitely generated fields are necessarily isomorphic, and this is still not known in the general case. On the other hand, the related situation of finitely generated rings is much better understood by recent work of Aschenbrenner-Khélif-Naziazeno-Scanlon.Building on work of Pop and Poonen, and using geometric results due to Kerz-Saito and Gabber, I shall show that every infinite […]

In several papers, R. Cluckers and D. Miller have built and investigated a class of real functions which contains the subanalytic functions and which is closed under parameterized integration. This class does not allow any oscillatory behavior, nor stability under Fourier transform. On the other hand, the behavior of oscillatory integrals, in connection with singularity theory, has been heavily investigated for decades. In this talk, we explain how to build a class of complex functions, which contains the subanalytic functions and their complex exponentials, and which is closed under parameterized […]

We prove the Ax-Lindemann-Weierstrass theorem for the uniformizing functions of genus zero Fuchsian groups of the first kind. Our proof relies on differential Galois theory of Schwarzian equations and machinery from the model theory of differentially closed fields. This result generalizes previous work of Pila-Tsimerman on the j function. (Joint work with James Freitag and Joel Nagloo)

I will present a bound for the number of F_q-points of bounded degree in a variety defined over Z, uniform in q. This generalizes work by Sedunova for fixed q. The proof involves model theory of valued fields with algebraic Skolem functions and uniform non-Archimedean Yomdin-Gromov parametrizations. This is joint work with Raf Cluckers and François Loeser.

Recall that a field K is large if it is existentially closed in K((t)). Examples of such fields are the complex, the real, and the p-adic numbers. This class of fields has been exploited significantly by F. Pop and others in inverse Galois-theoretic problems. In recent work with M. Tressl we introduced and explored a differential analogue of largeness, that we conveniently call ``differentially large''. I will present some properties of such fields, and use a twisted version of the Taylor morphism to characterise them using formal Laurent series and […]