Switch to: References

Add citations

You must login to add citations.
  1. The Strong and Super Tree Properties at Successors of Singular Cardinals.William Adkisson - forthcoming - Journal of Symbolic Logic:1-33.
    The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That is, an inaccessible cardinal $\kappa $ is strongly compact if and only if the strong tree property holds at $\kappa $, and supercompact if and only if ITP holds at $\kappa $. We present several results motivated by the problem of obtaining the strong tree property and ITP at many successive cardinals simultaneously; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Guessing models and the approachability ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
    Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call GM+ holds. This principle implies ISP and ISP, and hence th...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The strong tree property and weak square.Yair Hayut & Spencer Unger - 2017 - Mathematical Logic Quarterly 63 (1-2):150-154.
    We show that it is consistent, relative to ω many supercompact cardinals, that the super tree property holds at for all but there are weak square and a very good scale at.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Itp, isp, and sch.Sherwood Hachtman & Dima Sinapova - 2019 - Journal of Symbolic Logic 84 (2):713-725.
  • The strong tree property and the failure of SCH.Jin Du - 2019 - Archive for Mathematical Logic 58 (7-8):867-875.
    Fontanella :193–207, 2014) showed that if \ is an increasing sequence of supercompacts and \, then the strong tree property holds at \. Building on a proof by Neeman, we show that the strong tree property at \ is consistent with \, where \ is singular strong limit of countable cofinality.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark