Les personnes qui possèdent un compte PLM-Mathrice sont invitées à l'utiliser.
Séminaire des Doctorants et Doctorantes

Hilbert's seventeenth problem -- A model theoretic proof

by Christian D'Elbée, Tingxiang Zou

lundi 20 novembre 2017 de au (Europe/Paris)
at ENS Lyon ( 405 )
In this presentation, we will introduce some basic notions and tools in model theory, which, together with some elementary facts about real algebra, will give us an easy proof of Hilbert's seventeenth problem.