Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard, T. Servi
Email des responsables :
Salle : 1016
Adresse :Sophie Germain
Description


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


Orateur(s) Silvain Rideau - UC Berkeley,
Titre Imaginaires dans les corps Henséliens II: Invariance des types au dessus de RV
Date13/11/2018
Horaire14:00 à 15:45
RésumeDans ce second exposé, je présenterais le second ingrédient principal de
la preuve d'élimination des imaginaires pour certains corps Henséliens
(avec opérateurs) d'équicharactéristique nulle qui consiste à compléter
n'importe quel type sans quantificateur définissable en un type
invariant au dessus de RV. La preuve au dessus d'un modèle consiste à
rendre canonique la preuve d'élimination des quantificateurs de corps.
Au dessus d'ensembles algébriquement clos, des types stablement dominés
font leur apparition.
Ces travaux sont joints avec Martin Hils.
Salle1016
AdresseSophie Germain
© IMJ-PRG