- On strong fragments of Peano arithmetic2015 | Filozofická fakulta
- Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept?2011 | Filozofická fakulta
- Not all Kripke models of HA are locally PA2022 | Matematicko-fyzikální fakulta
- Where is the Gödel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals2014 | Filozofická fakulta
- Quasi-Euclidean subrings of Q[x]2013 | Matematicko-fyzikální fakulta
- The Intuitionistic Robinson Arithmetic(s)2015 | Filozofická fakulta