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

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Silvain Rideau-Kikuchi - ENS Paris,
Titre Residue domination
Date24/03/2025
Horaire15:45 à 16:45
Diffusion
Résume

An important result in the model theory of algebraically closed valued fields is the equivalence between orthogonality to the value group and stable domination.
These types play a central role in the Hrushovski-Loeser reinterpretation of Berkovich analytic spaces and later work of Hrushovski and myself on Abelian groups interpretable in algebraically closed valued fields.

There has been multiple work since then on how to generalise stable domination to henselian valued fields that might not be algebraically closed.
In such a general setting, stable domination is not the relevant notion anymore as the residue field might not be stable. In this talk I will explain the definition of residue domination that allows to generalise the equivalence mentioned above.
As an added bonus, it turns out that this notion is also equivalent to the underlying quantifier free type being stably dominated.

This is joint with P. Cubides and M. Vicaría.

Salle1013
AdresseSophie Germain
© IMJ-PRG