Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain


Abonnement à la liste de diffusion

Orateur(s) Deirdre Haskell - McMaster,
Titre Residue field domination in some theories of valued fields
Horaire15:15 à 16:15

The Ax-Kochen/Ersov theorem is  a classic result in the model theory of valued fields. It can be paraphrased as saying that the elementary theory of a valued field is determined by the theory of the value group and the theory of the residue field. At the level of types, the intuition is that a type should be controlled by its trace in each of the residue field and value group. In this talk, I will explore some ways in which this intuition can be made precise, and also some limitations to that preliminary intuition. I will try to give lots of examples to keep the discussion concrete.

AdresseSophie Germain