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
11 h 00 min - 12 h 00 min

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



Retour en haut 

Secured By miniOrange