La théorie des ensembles cinquante ans après Cohen
Patrick Dehornoy
LMNO, Université de Caen
https://www.lmno.cnrs.fr/archives/dehornoy/perso.html
Date(s) : 28/09/2017 iCal
11h00 - 12h00
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.
https://dehornoy.users.lmno.cnrs.fr
Catégories
