Bourbaki - Avril 2023

Collection Bourbaki - Avril 2023

Organisateur(s)
Date(s) 01/04/2023 - 01/04/2023
URL associée https://www.bourbaki.fr/seminaires/2023/Prog_avr-23.html
4 4

[1207] Strong forcing axioms and the continuum problem

De Matteo Viale

A topological approach to forcing axioms considers them as strong forms of the Baire category theorem; an algebraic approach describes certain properties of “algebraic closure” for the universe of sets that can be derived from them. Our goal is to show how the theorem of Aspéro and Schindler links the geometric and algebraic points of view. Drawing on Gödel’s program, we connect these mathematical results to the philosophical debate on what could constitute a viable solution of the continuum problem.

[Following Aspéro's and Schindler's proof that $MM^++$ implies Woodin's Axiom (*)]

Informations sur la vidéo

Bibliographie

  • Séminaire Bourbaki, 75ème année (2022-2023), n°1207, avril 2023 PDF

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis