La théorie des ensembles cinquante ans après Cohen

grenoble
[MATH]Mathematics [math]
mathalp colloquium 2018
colloquium mathalp 2018

Appears in collection : Colloquiums MathAlp

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.