Hilbert's seventeenth problem -- A model theoretic proof
par
Christian D'Elbée, Tingxiang Zou
→
Europe/Paris
405 (ENS Lyon)
405
ENS Lyon
Description
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.