Switch to: References

Add citations

You must login to add citations.
  1. Small $$\mathfrak {u}(\kappa )$$ u ( κ ) at singular $$\kappa $$ κ with compactness at $$\kappa ^{++}$$ κ + +.Radek Honzik & Šárka Stejskalová - 2021 - Archive for Mathematical Logic 61 (1):33-54.
    We show that the tree property, stationary reflection and the failure of approachability at \ are consistent with \= \kappa ^+ < 2^\kappa \), where \ is a singular strong limit cardinal with the countable or uncountable cofinality. As a by-product, we show that if \ is a regular cardinal, then stationary reflection at \ is indestructible under all \-cc forcings.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Weak saturation properties and side conditions.Monroe Eskew - 2024 - Annals of Pure and Applied Logic 175 (1):103356.
    Download  
     
    Export citation  
     
    Bookmark  
  • Indestructibility of some compactness principles over models of PFA.Radek Honzik, Chris Lambie-Hanson & Šárka Stejskalová - 2024 - Annals of Pure and Applied Logic 175 (1):103359.
    Download  
     
    Export citation  
     
    Bookmark  
  • Club stationary reflection and other combinatorial principles at ℵ+2.Thomas Gilton & Šárka Stejskalová - 2025 - Annals of Pure and Applied Logic 176 (1):103489.
    Download  
     
    Export citation  
     
    Bookmark  
  • Trees and Stationary Reflection at Double Successors of Regular Cardinals.Thomas Gilton, Maxwell Levine & Šárka Stejskalová - forthcoming - Journal of Symbolic Logic:1-31.
    We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $\kappa $, updating some classical constructions in the process. This includes models of $\mathsf {CSR}(\kappa ^{++})\wedge {\sf TP}(\kappa ^{++})$ (both with and without ${\sf AP}(\kappa ^{++})$ ) and models of the conjunctions ${\sf SR}(\kappa ^{++}) \wedge \mathsf {wTP}(\kappa ^{++}) \wedge {\sf AP}(\kappa ^{++})$ and $\neg {\sf AP}(\kappa ^{++}) \wedge {\sf SR}(\kappa ^{++})$ (the latter was originally obtained in joint work by Krueger and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation