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

continuum problemforcing axiomslarge cardinalsmodel companionshipset theory

Mathematics Subject Classification ID

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

Cited in

(1)

• Universality properties of forcing

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)