Switch to: References

Add citations

You must login to add citations.
  1. The Diagonal Strong Reflection Principle and its Fragments.C. O. X. Sean D. & Gunter Fuchs - 2023 - Journal of Symbolic Logic 88 (3):1281-1309.
    A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated with arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle, are analyzed, and consequences are presented. Some of these consequences are “exact” versions of diagonal stationary reflection principles of sets of ordinals. We also separate some of these diagonal strong reflection principles from related axioms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Incompatible bounded category forcing axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).
    Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We introduce bounded category forcing axioms for well-behaved classes [math]. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe [math] modulo forcing in [math], for some cardinal [math] naturally associated to [math]. These axioms naturally extend projective absoluteness for arbitrary set-forcing — in this situation [math] — to classes [math] with [math]. Unlike projective absoluteness, these higher bounded category forcing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation