Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$] (Q6131163)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$] |
scientific article; zbMATH DE number 7827471
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$] |
scientific article; zbMATH DE number 7827471 |
Statements
Exposé Bourbaki 1207 : Strong forcing axioms and the continuum problem [after Asperó's and Schindler's proof that $\mathbf{MM}^{++}$ implies Woodin's Axiom $(*)$] (English)
0 references
4 April 2024
0 references
set theory
0 references
model companionship
0 references
continuum problem
0 references
forcing axioms
0 references
large cardinals
0 references
