EnglishFrançais

Site Web DMA

Bannière DMA Site de l'ENS Site Paris Sciences et Lettres Site du CNRS Accueil

Séminaire Géométrie et théorie des modèles

Horaires : Le vendredi 13 janvier 2017, 16h

Lieu : ENS, salle W

Imaginaires dans les corps valués avec opérateurs

Silvain Rideau (UC Berkeley)

Au début des années 2000, Haskell, Hrushovski and Macpherson ont décrit les ensembles interprétables dans un corps valué algébriquement clos à l'aide d'équivalents en plus grande dimension des boules. Plus précisément, ils ont prouvé l'élimination des imaginaires dans le language géométrique. Pendant la même période, l'intérêt des théoriciens des modèles pour les corps valués avec opérateurs s'est grandement développé. Les questions résolues pour ces structures tournent, pour la plupart, autour de l'élimination des quantificateurs et de la modération. Mais, au vu des résultats de Haskell, Hrushovski and Macpherson, il est tentant de vouloir aussi classifier les ensembles interprétables. Dans cet exposé, je traiterai des deux exemples les mieux compris: la modèle complétion de Scanlon des corps valués munis d'une dérivation contractive et les corps valués séparablement clos de degré d'imperfection fini. En particulier, je montrerai comment l'élimination des imaginaires dans ces structures est liée à l'existence d'une base canonique pour les types définissables et comment la propriété d'indépendance (ou plutôt son absence) peut aider à contrôler ces bases canoniques.

 

Autres séances du séminaire


45 rue d'Ulm - F 75230 PARIS cedex 05 | phone : (33) 1 44 32 20 49 | fax : (33) 1 44 32 20 69

Plan du site | Mentions légales | | Edition du site | Web site designed under SPIP