Switch to: References

Add citations

You must login to add citations.
  1. Subcomplete forcing principles and definable well‐orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.
    It is shown that the boldface maximality principle for subcomplete forcing,, together with the assumption that the universe has only set many grounds, implies the existence of a well‐ordering of definable without parameters. The same conclusion follows from, assuming there is no inner model with an inaccessible limit of measurable cardinals. Similarly, the bounded subcomplete forcing axiom, together with the assumption that does not exist, for some, implies the existence of a well‐ordering of which is Δ1‐definable without parameters, and ‐definable (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing.Gunter Fuchs - forthcoming - Archive for Mathematical Logic:1-13.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Diagonal reflections on squares.Gunter Fuchs - 2019 - Archive for Mathematical Logic 58 (1-2):1-26.
    The effects of the forcing axioms \, \ and \ on the failure of weak threaded square principles of the form \\) are analyzed. To this end, a diagonal reflection principle, \, and it implies the failure of \\) if \. It is also shown that this result is sharp. It is noted that \/\ imply the failure of \\), for every regular \, and that this result is sharp as well.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations