Consultations: After a prior agreement (write me an email)
Grants
Principal Investigator: Czech Science Foundation (GACR), The role of set theory in modern mathematics, 24-12141S. (2024-2026)
Principal Investigator: Mobility/Aktion Grant Czech Republic (FFUK, Department of Logic) – Austria, Vienna
(Department of Mathematics, V. Fischer), Compactness and cardinal invariants, 8J23AT015. (2023-2024)
Principal investigator (with V. Fischer for FWF): Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), Compactness principles and combinatorics, 19-29633L. (2019-2021)
Principal Investigator: Mobility/Aktion Grant Czech Republic (FFUK, Department of Logic) – Austria, Vienna
(KGRC), Compactness and Cantor space, 8J19AT033. (2019-2020)
Principal investigator (with Sy Friedman for FWF): Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), no I 1921-N25, The continuum, forcing, and large cardinals. (2015-2017)
Postdoc at Kurt Goedel Research Center, Vienna. (2013-2015)
Principal Investigator: Mobility/Aktion Grant Czech Republic (FFUK, Department of Logic) – Austria, Vienna
(KGRC), Definability and Ideals, MEB061106. (2010-2012)
Principal investigator: Postdoctoral grant by Czech Science Foundation (GACR), no. 201/09/P115. (2008-2011)
Submitted papers
Forcing in bounded arithmetic and set theory: analogies and differences, submitted 2026, [Arxiv]
Rado’s Conjecture and the random algebra, submitted 2026,
[Arxiv]
Forcing with random variables in bounded arithmetics and set theory, submitted 2026,
[Arxiv]
Compactness for small cardinals in mathematics: principles, consequences, and limitations, submitted 2025,
[Arxiv]