Switch to: Citations

Add references

You must login to add references.
  1. Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum.Ralf Schindler - 2004 - Mathematical Logic Quarterly 50 (6):527-532.
    We show that L absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L absoluteness for proper forcings. By [7], L absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom is equiconsistent with the Bounded Proper Forcing Axiom , which in turn is equiconsistent with a reflecting cardinal. We show that Bounded Martin's Maximum is much stronger than BSPFA in (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Increasing δ 1 2 and Namba-style forcing.Richard Ketchersid, Paul Larson & Jindřich Zapletal - 2007 - Journal of Symbolic Logic 72 (4):1372-1378.
    We isolate a forcing which increases the value of δ12 while preserving ω₁ under the assumption that there is a precipitous ideal on ω₁ and a measurable cardinal.
    Download  
     
    Export citation  
     
    Bookmark   2 citations