Increasing u2 by a stationary set preserving forcing
From MaRDI portal
Publication:3616349
DOI10.2178/jsl/1231082308zbMath1163.03026OpenAlexW2154198535MaRDI QIDQ3616349
Benjamin Claverie, Ralf-Dieter Schindler
Publication date: 25 March 2009
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1231082308
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (4)
Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL ⋮ Bounded Martin's maximum with an asterisk
Cites Work
This page was built for publication: Increasing u2 by a stationary set preserving forcing