Classes
- Introduction to Computer Science +1ALG110006 | Faculty of Arts
- Introduction to Computer Science IIALG110029 | Faculty of Arts
- Model TheoryALG500009 | Faculty of Arts
- Programming in PythonALGV00025 | Faculty of Arts
- Introduction to general topologyALGV00048 | Faculty of Arts
- Advanced topics in computer programmingALGV00106 | Faculty of Arts
- Introduction to programming for non-logiciansALGV00107 | Faculty of Arts
- Descriptive Set TheoryALGV00119 | Faculty of Arts
Publications
- A lifting argument for generalized Gregorieff forcing2016 | Faculty of Arts
- Adding ultrafilters by definable quotients2011 | Protestant Theological Faculty, Faculty of Mathematics and Physics, Faculty of Arts
- Completely separably MAD families and the modal logic of $\beta\omega$2022 | Faculty of Arts
- PyVallex: A Processing System for Valency Lexicon Data2020 | Faculty of Mathematics and Physics
- Set-Theoretic Blockchains2019 | Faculty of Mathematics and Physics, Faculty of Arts
- Non-systemic valency behavior of Czech deverbal nouns based on the NomVallex lexicon +12019 | Faculty of Mathematics and Physics, Faculty of Arts
- Chains of P-points2019 | Faculty of Arts
- Towers in Filters, Cardinal Invariants and Luzin Type Families2018 | Faculty of Arts
- Gδ AND CO-MEAGER SEMIFILTERS2016 | Faculty of Arts
- Toposym Book of Abstracts2016 | Faculty of Arts
Loading network view...