(travail en commun avec Silvain Rideau-Kikuchi)
Les imaginaires (c’est-à-dire les quotients définissables) dans la théorie ACVF des corpsalgébriquement clos non-trivialement valués sont classifiés par les sortes “géométriques”.Ceci est un résultat fondamental dû à Haskell, Hrushovski et Macpherson. En utilisantl’approche via la densité des types définissables/invariants, nous donnons une réductiondes imaginaires dans des corps valués henséliens, sous des hypothèses assez générales,aux sortes géométriques et à des imaginaires de RV avec des sortes pour certains espacesvectoriels de dimension finie sur le corps résiduel.
- Séminaire Géométrie et théorie des modèles