Increasing u2 by a stationary set preserving forcing

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

zbMATH Keywords

precipitous idealnonstationary idealstationary set preserving forcing

Mathematics Subject Classification ID

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

• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Descriptive set theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum

This page was built for publication: Increasing u₂ by a stationary set preserving forcing