Séminaire des Doctorants et Doctorantes

Hilbert's seventeenth problem -- A model theoretic proof

par Christian D'Elbée, Tingxiang Zou

405 (ENS Lyon)


ENS Lyon

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.
Your browser is out of date!

Update your browser to view this website correctly. Update my browser now