Séminaires : Phd Seminar - Séminaire des doctorant.e.s

Le séminaire des doctorant.e.s est l'occasion pour les doctorant.e.s 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é.

Chaque jeudi à 18h, en alternance entre Jussieu et Sophie Germain.

The PhD seminar is an opportnuity for PhD students to present results and topics worthy of interest in front of a non-specialist audience. The mood is informal ; asking naive questions is highly encouraged and less naive questions are also welcomed, as long as they don't intefere with the smoothness of the talk.

Every Thursday at 6pm, alternating between Jussieu and 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