Switch to: References

Add citations

You must login to add citations.
  1. Two Upper Bounds on Consistency Strength of $negsquare{aleph_{omega}}$ and Stationary Set Reflection at Two Successive $aleph{n}$.Martin Zeman - 2017 - Notre Dame Journal of Formal Logic 58 (3):409-432.
    We give modest upper bounds for consistency strengths for two well-studied combinatorial principles. These bounds range at the level of subcompact cardinals, which is significantly below a κ+-supercompact cardinal. All previously known upper bounds on these principles ranged at the level of some degree of supercompactness. We show that by using any of the standard modified Prikry forcings it is possible to turn a measurable subcompact cardinal into ℵω and make the principle □ℵω,<ω fail in the generic extension. We also (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular.Grigor Sargsyan & Nam Trang - 2016 - Journal of Mathematical Logic 16 (2):1650007.
    In this paper, we show that the failure of the unique branch hypothesis for tame iteration trees implies that in some homogenous generic extension of [Formula: see text] there is a transitive model [Formula: see text] containing [Formula: see text] such that [Formula: see text] is regular. The results of this paper significantly extend earlier works from [Non-tame mice from tame failures of the unique branch bypothesis, Canadian J. Math. 66 903–923; Core models with more Woodin cardinals, J. Symbolic Logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • An Inner Model Proof of the Strong Partition Property for $delta^{2}_{1}$.Grigor Sargsyan - 2014 - Notre Dame Journal of Formal Logic 55 (4):563-568.
    Assuming $V=L+AD$, using methods from inner model theory, we give a new proof of the strong partition property for ${\sim}{ \delta }^{2}_{1}$. The result was originally proved by Kechris et al.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • The semi-weak square principle.Maxwell Levine - 2019 - Annals of Pure and Applied Logic 170 (11):102713.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Closure properties of measurable ultrapowers.Philipp Lücke & Sandra Müller - 2021 - Journal of Symbolic Logic 86 (2):762-784.
    We study closure properties of measurable ultrapowers with respect to Hamkin's notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Forcing axioms via ground model interpretations.Christopher Henney-Turner & Philipp Schlicht - 2023 - Annals of Pure and Applied Logic 174 (6):103260.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
    We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations