Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard
Email des responsables : dickmann@math.univ-paris-diderot.fr
Salle : 1016
Adresse :Sophie Germain
Description


Mardi de 14h00 à 15h45
Page du séminaire et programme
Abonnement à la liste de diffusion


Orateur(s) Pablo Cubides Kovacsics - Universität Düsseldorf,
Titre Complétude définissable et applications
Date09/11/2021
Horaire14:00 à 15:45
Diffusion
RésumeLa complétude définissable est une propriété qui n'est pas forcément préservée dans une expansion modérée de corps valués. Par exemple, il y a des expansions C-minimales de corps valués algébriquement clos n'ayant pas cette propriété. En revanche, je montrerai dans cet exposé que toute expansion P-minimale d'un corps p-adiquement clos K satisfait une version forte de complétude définissable : toute famille définissable d'ensembles emboîtés, fermés et bornés est d'intersection non-vide. On en déduit entre autres qu'une telle expansion est polynômialement bornée (répondant positivement à une question de R. Cluckers et I. Halupczok). Il s'agit d'un travail en commun avec Françoise Delon.
Salle1016
AdresseSophie Germain
© IMJ-PRG