Patrick Dehornoy - La théorie des ensembles cinquante ans après Cohen
Résumé
On présentera quelques résultats de théorie des ensembles récents, avec un accent sur l'hypothèse du continu et la possibilité de résoudre la question après les résultats négatifs bien connus de Gödel et Cohen, et sur les tables de Laver, qui sont des structures finies explicites, dont certaines propriétés combinatoires simples n'ont été établies jusqu'à présent que grâce à des axiomes de grand cardinal (non démontrables), une situation très paradoxale.
