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.1216MaRDI QIDQ6131163zbMATH OpenOpenAlexFDO

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)