Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that \mathbf{MM}^{++} implies Woodin's Axiom (*)]

DOI10.24033/AST.1216OpenAlexW4391404163MaRDI QIDQ6131163FDOQ6131163

Authors: Matteo Viale 

Publication date: 4 April 2024

Published in: Astérisque (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.24033/ast.1216

zbMATH Keywords

large cardinalsset theoryforcing axiomscontinuum problemmodel companionship

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Consistency and independence results (03E35) Quantifier elimination, model completeness, and related topics (03C10) Continuum hypothesis and Martin's axiom (03E50) Generic absoluteness and forcing axioms (03E57)

This page was built for publication: Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$]

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6131163)