| Orateur(s) | Silvain Rideau - UC Berkeley,
|
| Titre | Imaginaires dans les corps Henséliens II: Invariance des types au dessus de RV |
| Date | 13/11/2018 |
| Horaire | 14:00 à 15:45 |
|
| Diffusion | |
| Résume | Dans 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. |
| Salle | 1016 matin / 1013 après-midi |
| Adresse | Sophie Germain |
