Séminaires : Séminaire des Thésards

Equipe(s) : doctorants,
Responsables :Sébastien Biebler, Vincent Dumoncel, Elba Garcia-Failde, Thiago Landim, Odylo Costa, Francesca Rizzo
Email des responsables :
Salle :
Adresse :
Description

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.


Orateur(s) William Gaudelier - ,
Titre The reverse mathematics of some Ramsey-type theorems
Date18/01/2024
Horaire18:00 à 19:00
Diffusion
Résume

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

 

Salle15-16-413
AdresseJussieu
© IMJ-PRG