Algèbre et géométrie

We fix an o-minimal expansion of the real field, M say. Definabilitynotions are with respect to M. Let F = {f_x : x in X} be a definable familyof (single valued) complex analytic functions, each one having domain somedisk, D_x say, in ?, where the parameter space X is a definable subset of ?^mfor some m. We present some finiteness theorems for such families F whichare uniform in parameters and give some applications.We also speculate on the notion of “definable” Riemann surface.

A field K is called pseudo-algebraically closed (PAC) if every absolutely irreducible variety defined over K has a K-rational point. These fields were introduced by Ax in his characterization of pseudo-finite fields and have since become an important object of study in both model theory and field arithmetic. We will explain how the analysis of a PAC field often reduces to questions about the model theory of the absolute group and describe how these reductions combine with a graph-coding construction of Cherlin, van den Dries, and Macintyre together with to […]