- CLASSIFICATION OF ONE DIMENSIONAL DYNAMICAL SYSTEMS BY COUNTABLE STRUCTURES2023 | Matematicko-fyzikální fakulta
- A new proof of Ajtai's completeness theorem for nonstandard finite structures2015 | Matematicko-fyzikální fakulta
- Invariant measures via inverse limits of finite structures2016 | Matematicko-fyzikální fakulta
- Simplicity of the automorphism groups of generalised metric spaces2021 | Matematicko-fyzikální fakulta
