6 Mars 2023

Jean Petitot (CAMS-EHESS)

Le rôle des grands cardinaux dans la régularisation du continu

Pour démontrer que des classes de sous-ensembles de R
plus complexes que les boréliens ont de bonnes propriétés de régularité
(mesurabilité Lebesgue, propriété de l'ensemble parfait,
propriété de Baire, détermination)
il faut admettre des axiomes de grands cardinaux.

Il y a un peu plus d'une dizaine d'années,
on a approfondi le rôle particulier de certains d'entre eux.

On essayera de commenter philosophiquement
quelques uns de ces résultats.