Kęstutis Česnavičius, Marc Hindry, Wieslawa Nizioł, Cathy Swaenepoel
Email des responsables :
cathy.swaenepoel@imj-prg.fr
Salle :
Adresse :
Description
http://www.imj-prg.fr/tn/STN/stnj.html
Orateur(s)
D. Roessler - ,
Titre
Uniformité automatique (d'après Hrushovski et Scanlon)
Date
05/12/2005
Horaire
14:00 à 16:00
Diffusion
Résume
On expliquera la dmonstration par Hrushovski et Scanlon del'assertion suivante:si la conjecture de Mordell-Lang gnralise est vraie, alors elleest vraie uniformment.La dmonstration s'appuie sur le thorme de constructibilit deChevalley et sur lethorme de compacit de la logique du premier ordre. On expliqueraaussi brivementcomment cette assertion peut tre utilise pour obtenir unedmonstration simplifiede la conjecture de Mordell-Lang gnralise.
