Séminaires : Théorie des modèles et groupes

Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
Le mardi à 10h30 en salle  1016 (Sophie Germain) - sauf les 04/11, 02/12 et 20/01-changement de salle.

https://semgrp.imj-prg.fr pour plus de renseignements.

Abonnement à la liste de diffusion

(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_γ = K^×/1+γ 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 ≤ F_p((t)) est élémentaire. Ce dernier énoncé précise un résultat d'Artin selon lequel elle est existentiellement close.