(avec Tom Scanlon)J’exposerai un résultat d’élimination des quantificateurs pour les corps henséliens de degré d’imperfection fini, relativement à la famille uniforme de tous les groupes RV_gamma = K^,imes/1+gamma m. Ce résultat permet alors de démontrer que toute extension dense séparable de corps henséliens de même degré d’imperfection fini est élémentaire. En particulier, l’extension F_p(t)^h leq F_p((t)) est élémentaire. Ce dernier énoncé précise un résultat d’Artin selon lequel elle est existentiellement close.
- Théorie des Modèles et Groupes