Sorbonne Université CNRS Paris Diderot

Théorie des modèles et groupes

On the theory of rigid meromorphic functions in positive characteristic

Hector Pasten - PUC Chile

mardi 19 février 2019 à 16:00
Sophie Germain, Salle 2015

There is a well-known analogy between the arithmetic of rational numbers and the theory of meromorphic functions over a normed field. It is a classical result of Julia Robinson that the first order theory of the field of rational numbers is undecidable, and one would expect such a result in the meromorphic setting. In this talk I’ll give an outline of the proof of undecidability for rigid meromorphic functions in positive characteristic ; the cases of characteristic zero remain open.

Autres séances