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 QIDQ6131163

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 cardinals set theory forcing axioms continuum problem model companionship

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Quantifier elimination, model completeness, and related topics (03C10) 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 $(*)$]