Switch to: References

Add citations

You must login to add citations.
  1. Rado’s Conjecture and its Baire version.Jing Zhang - 2019 - Journal of Mathematical Logic 20 (1):1950015.
    Rado’s Conjecture is a compactness/reflection principle that says any nonspecial tree of height ω1 has a nonspecial subtree of size ℵ1. Though incompatible with Martin’s Axiom, Rado’s Conjecture turns out to have many interesting consequences that are also implied by certain forcing axioms. In this paper, we obtain consistency results concerning Rado’s Conjecture and its Baire version. In particular, we show that a fragment of PFA, which is the forcing axiom for Baire Indestructibly Proper forcings, is compatible with the Baire (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The tree property below ℵ ω ⋅ 2.Spencer Unger - 2016 - Annals of Pure and Applied Logic 167 (3):247-261.
  • Fragility and indestructibility II.Spencer Unger - 2015 - Annals of Pure and Applied Logic 166 (11):1110-1122.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • A model of Cummings and Foreman revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.
  • Easton's theorem for the tree property below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The tree property at and.Dima Sinapova & Spencer Unger - 2018 - Journal of Symbolic Logic 83 (2):669-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The tree property at first and double successors of singular cardinals with an arbitrary gap.Alejandro Poveda - 2020 - Annals of Pure and Applied Logic 171 (5):102778.
  • Capturing sets of ordinals by normal ultrapowers.Miha E. Habič & Radek Honzík - 2023 - Annals of Pure and Applied Logic 174 (6):103261.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The tree property at double successors of singular cardinals of uncountable cofinality with infinite gaps.Mohammad Golshani & Alejandro Poveda - 2021 - Annals of Pure and Applied Logic 172 (1):102853.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The tree property at the double successor of a singular cardinal with a larger gap.Sy-David Friedman, Radek Honzik & Šárka Stejskalová - 2018 - Annals of Pure and Applied Logic 169 (6):548-564.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Fresh function spectra.Vera Fischer, Marlene Koelbing & Wolfgang Wohofsky - 2023 - Annals of Pure and Applied Logic 174 (9):103300.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The tree property at the two immediate successors of a singular cardinal.James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova & Spencer Unger - 2021 - Journal of Symbolic Logic 86 (2):600-608.
    We present an alternative proof that from large cardinals, we can force the tree property at $\kappa ^+$ and $\kappa ^{++}$ simultaneously for a singular strong limit cardinal $\kappa $. The advantage of our method is that the proof of the tree property at the double successor is simpler than in the existing literature. This new approach also works to establish the result for $\kappa =\aleph _{\omega ^2}$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The eightfold way.James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot & Dima Sinapova - 2018 - Journal of Symbolic Logic 83 (1):349-371.
    Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at${\kappa ^{ + + }}$, assuming that$\kappa = {\kappa ^{ < \kappa }}$and there is a weakly compact cardinal aboveκ.If in additionκis supercompact then we can forceκto be${\aleph _\omega }$in the extension. The proofs combine the techniques of adding and then destroying (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations