Séminaires : Séminaire des Thésards

Le séminaire des thésards est l'occasion pour les doctorants de présenter des résultats et des problématiques dignes d'intérêt devant un public de non-spécialistes. L'ambiance y est informelle ; poser des questions naïves est encouragé, et les questions moins naïves sont bienvenues dans la mesure où elles n'entravent pas le bon déroulement de l'exposé.

Un jeudi sur deux à 18h00, en alternance entre Jussieu et Sophie Germain.

Ramsey's theorem for pairs has received a lot of interest in the community of
reverse mathematics, as it was the first natural statement proven to not follow
the big five phenomenon.

In this talk I will introduce some basic ideas and results of reverse
mathematics, in particular about Ramsey's theorem, then I will discuss some more
recent results regarding variations of the latter.
More precisely I will talk about the computational strength of CAC for trees, a
statement which assert that any infinite subtree of the Baire space has an
infinite path or an infinite antichain