SARKA STEJSKALOVA

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

Grants

• Member of standard Czech Science Foundation (GACR) grant 23-04683S, Compactness in set theory and its applications in algebra and graph theory (2023-2025)
• Member of Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), 19-29633L, Compactness principles and combinatorics (2019-2021)
• Member of Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), I 1921-N25, The continuum, forcing, and large cardinals. (2015-2017)
• Principal Investigator, Internal grant Charles University, FF/VG/2017/54, The tree property and the continuum hypothesis. (2017)
• Member of Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), no I 17-33849L, Filters, ultrafilters and connections with forcing. (2017-2019)

Preprints

Research

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), Annals of Pure and Applied Logic, 176, article no. 103489, 2025 [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), to appear in Archive for Mathematical Logic (2025) [pdf]
13. Forcing over a free Suslin tree (with J. Krueger), submitted (2024) [pdf]
14. Kurepa trees, continuous images, and perfect set properties (with C. Lambie-Hanson), submitted (2024) an arXiv link [here]

Surveys

• A survey of special Aronszajn trees (with R. Honzik), Miscellanea Logica, Acta Univ. Car., volume X/1, pp. 73-91, 2015 [pdf]
• Grigorieff forcing and the tree property, Miscellanea Logica, Acta Univ. Car., volume XI/2, pp. 63-72, 2017 [pdf]

Contacts