Cayley's theorem for ordered groups: -minimality.
Corps C-minimaux, en l’honneur de François Lucas
La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité . Cela implique en particulier la « -minimalité » : une partie définissable d’un corps algébriquement...
Counting rational points on a certain exponential-algebraic surface
We study the distribution of rational points on a certain exponential-algebraic surface and we prove, for this surface, a conjecture of A. J. Wilkie.