Séminaire Logique mathématique ICJ
Imaginaires dans les corps Henséliens de caractéristique nulle (travail en commun avec Martin Hils)
par
→
Europe/Paris
Salle 112 Bât Braconnier
Salle 112 Bât Braconnier
Description
Il est tentant de penser que, tout comme de nombreuses propriétés des corps Henséliens de caractéristique zéro, leurs imaginaires aussi vérifient un principe d'Ax-Kochen-Ersov. Dans cet exposé, mon but sera de donner une stratégie de preuve pour prouver un tel principe dans une large classe de corps Henséliens d'équicaractéristique nulle (potentiellement munis d'opérateurs). La preuve se sépare naturellement en deux problèmes distincts. D'une part trouver de nombreux types sans quantificateurs définissables et ensuite les compléter en des types globaux invariants (sur RV).