Switch to: References

Add citations

You must login to add citations.
  1. Bounded Martin’s Maximum with an Asterisk.David Asperó & Ralf Schindler - 2014 - Notre Dame Journal of Formal Logic 55 (3):333-348.
    We isolate natural strengthenings of Bounded Martin’s Maximum which we call ${\mathsf{BMM}}^{*}$ and $A-{\mathsf{BMM}}^{*,++}$, and we investigate their consequences. We also show that if $A-{\mathsf{BMM}}^{*,++}$ holds true for every set of reals $A$ in $L$, then Woodin’s axiom $$ holds true. We conjecture that ${\mathsf{MM}}^{++}$ implies $A-{\mathsf{BMM}}^{*,++}$ for every $A$ which is universally Baire.
    Download  
     
    Export citation  
     
    Bookmark  
  • Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing.Gunter Fuchs - 2024 - Archive for Mathematical Logic 63 (5):509-521.
    In this note, I will list instances where in the literature on subcomplete forcing and its forcing principles (mostly in articles of my own), the assumption of the continuum hypothesis, or that we are working above the continuum, was omitted. I state the correct statements and provide or point to correct proofs. There are also some new results, most of which revolve around showing the necessity of the extra assumption.
    Download  
     
    Export citation  
     
    Bookmark