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 - 2024 - Journal of Symbolic Logic 89 (3):1251-1283.
    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; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The tree property and the continuum function below.Radek Honzik & Šárka Stejskalová - 2018 - Mathematical Logic Quarterly 64 (1-2):89-102.
    We say that a regular cardinal κ,, has the tree property if there are no κ‐Aronszajn trees; we say that κ has the weak tree property if there are no special κ‐Aronszajn trees. Starting with infinitely many weakly compact cardinals, we show that the tree property at every even cardinal,, is consistent with an arbitrary continuum function below which satisfies,. Next, starting with infinitely many Mahlo cardinals, we show that the weak tree property at every cardinal,, is consistent with an (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark  
  • A model of Cummings and Foreman revisited.Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (12):1813-1831.
    Download  
     
    Export citation  
     
    Bookmark   7 citations