- O klonech infinitárních algeber a jejich počátečních segmentech2010 | Matematicko-fyzikální fakulta
- Infinitary propositional logics and subdirect representation2017 | Filozofická fakulta
- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic2017 | Filozofická fakulta
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Filozofická fakulta
- Lindenbaum and pair extension lemma in infinitary logics2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics2017 | Filozofická fakulta
- Promises Make Finite (Constraint Satisfaction) Problems Infinitary2019 | Matematicko-fyzikální fakulta
- A duality between infinitary varieties and algebraic theories2000 | Matematicko-fyzikální fakulta
- A new hierarchy of infinitary propositional logics2016 | Ústřední knihovna, Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics Part II2018 | Filozofická fakulta
- Lindenbaum-style proof of completeness for infinitary logics Part I2018 | Filozofická fakulta
- Subdirect Representation in Abstract Algebraic Logic2017 | Filozofická fakulta
- Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples2015 | Filozofická fakulta
- Type-respecting amalgamation and big Ramsey degrees2023 | Matematicko-fyzikální fakulta
- Teorie množin2000 | Publikace bez příslušnosti k fakultě
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Filozofická fakulta
- Definability of satisfaction in outer models2016 | Filozofická fakulta