Résume | Dans cet exposé nous aborderons la question de l'élimination des
imaginaires dans les corps henséliens potentiellement munis d'opérateurs
d'équicharactérsitique nulle. Dans un premier temps je présenterais le
résultat optimal que l'on peut espérer prouver, à savoir une élimination
relative aux sortes géométriques, à RV ainsi qu'à certains imaginaires
d'espaces vectoriels définissables. Dans un second temps, je
présenterais une approche pour certains corps en équicharactéristique
nulle et enfin je présenterais le premier ingrédient principal de cette
approche: la construction de types sans quantificateurs définissables,
qui est une amélioration de mes résultats précédents sur les corps
valués différentiels contractants existentiellement clos.
Ces travaux sont joints avec Martin Hils. |