Assistant professor at Charles University, Faculty of Philosophy, Department of Logic. Researcher at the Institute of Mathematics, Czech Academy of Sciences.





  1. The tree property at the double successor of a singular cardinal with a larger gap (with Sy D. Friedman and R. Honzik), Annals of Pure and Applied Logic, 169, 548-564, 2018 [pdf]
  2. The tree property and the continuum function below aleph_omega (with R. Honzik), Mathematical Logic Quarterly, 64(1-2), 89-102, 2018 [pdf]
  3. The tree property at aleph_{omega+2} with a finite gap (with Sy D. Friedman and R. Honzik), Fundamenta Mathematicae, 251, 219-244, 2020 [pdf]
  4. Indestructibility of the tree property (with R. Honzik), The Journal of Symbolic Logic, 85(1), 467-485, 2020 [pdf]
  5. Easton's theorem for the tree property below aleph_omega, Annals of Pure and Applied Logic, 172(7), article number 102974, 2021 [pdf]
  6. Small u(kappa) at singular kappa with compactness at kappa++ (with R. Honzik), Archive for Mathematical Logic, 61, 33-54, 2022 [pdf]
  7. Trees and stationary reflection at double successors of regular cardinals (with T. Gilton and M. Levine), The Journal of Symbolic Logic , 88(2), 780-810, 2023 [pdf]
  8. Indestructibility of some compactness principles over models of PFA (with R. Honzik and C. Lambie-Hanson), Annals of Pure and Applied Logic, 175(1,A), article no. 103359, 2024 [pdf]
  9. Club stationary reflection and other combinatorial principles at aleph_{omega+2} (with T. Gilton), accepted in Annals of Pure and Applied Logic (2023) [pdf]
  10. Strong tree properties, Kurepa trees, and guessing models (with C. Lambie-Hanson), Monatshefte f. Math., 203, 111-148, 2024 [pdf]
  11. Guessing models, trees, and cardinal arithmetic (with C. Lambie-Hanson), accepted in Israel Journal of Mathematics (2023), an arXiv link [here]
  12. Generalized cardinal invariants for an inaccessible kappa with compactness at kappa++ (with R. Honzik), submitted (2023) [pdf]
  13. Forcing over a free Suslin tree (with J. Krueger), submitted (2024) [pdf]




email: sarka.stejskalova at
email: stejskalova at
ORCID: 0000-0001-8589-7117