[1207] Strong forcing axioms and the continuum problem

By Matteo Viale

Appears in collection : Bourbaki - Avril 2023

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 (*)]

Information about the video


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

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback