1. A topology for Galois types in abstract elementary classes. Math. Log. Quart. 57(2): 204-216 (2011). (MR2816098) (arXiv)

2. Category-theoretic aspects of AECs. Annals of Pure and Applied Logic 162(11): 903-915 (2011). (MR2817563) (Preprint)

3. Rank functions and partial stability spectra for tame AECs. Notre Dame Journal of Formal Logic 54(11): 153-166 (2013). (MR3028793) (arXiv)

4. Limits of abstract elementary classes. With Jiří Rosický. Theory and Applications of Categories 30: 1647-1658 (2015). (MR3431298) (Publisher version)

5. Classification theory for accessible categories. With Jiří Rosický. Journal of Symbolic Logic 81(1): 151-165 (2016). (MR3471133) (arXiv)

6. μ-Abstract Elementary Classes and other generalizations. With Will Boney, Rami Grossberg, Jiří Rosický, and Sebastien Vasey. Journal of Pure and Applied Algebra 220(9): 3048-3066 (2016). (MR3486290) (arXiv)

7. Metric abstract elementary classes as accessible categories. With Jiří Rosický. Journal of Symbolic Logic 82(3): 1022-1040 (2017). (MR3694339) (arXiv)

8. Hanf numbers via accessible images. With Jiří Rosický. Logical Methods in Computer Science 13(2:11): 1-15 (2017). (MR3667927) (Publisher version)

9. Universal abstract elementary classes and locally multipresentable categories. With Jiří Rosický and Sebastien Vasey. Proceedings of the AMS 147(3): 1283-1298 (2019). (MR3896074) (Publisher) (arXiv)

10. Internal sizes in μ-abstract elementary classes. With Jiří Rosický and Sebastien Vasey. Journal of Pure and Applied Algebra 223(10): 4560-4582 (2019). (MR3958105) (Publisher version) (arXiv)

11. Forking independence from the categorical point of view. With Jiří Rosický and Sebastien Vasey. Advances in Mathematics 346: 719-772 (2019). (MR3914179) (Publisher version) (arXiv)

12. Sizes and filtrations in accessible categories. With Jiří Rosický and Sebastien Vasey. Israel Journal of Mathematics 238(1): 243-278 (2020). (Publisher version) (arXiv)

13. A category-theoretic characterization of almost measurable cardinals. Proceedings of the AMS 148(9): 4065-4067 (2020). (Publisher version) (arXiv)

14. Cofibrant generation of pure monomorphisms. With Leonid Positselski, Jiří Rosický, and Sebastien Vasey. Journal of Algebra 560: 1297-1310 (2020). (Publisher version) (arXiv)

15. Tameness, powerful images, and large cardinals. With Will Boney. Journal of Mathematical Logic 21(1): 2050024 (2021). (Publisher version) (arXiv)

16. Induced and higher-dimensional stable independence. With Jiří Rosický and Sebastien Vasey. Annals of Pure and Applied Logic, 173(7): 103124 (2022). (Publisher version) (arXiv)

17. Cellular categories and stable independence. With Jiří Rosický and Sebastien Vasey. Journal of Symbolic Logic, 88(2): 811-834 (2023). (arXiv)

18. Hilbert spaces and C*-algebras are not finitely concrete. With Jiří Rosický and Sebastien Vasey. Journal of Pure and Applied Algebra, 227(4): 107245 (2023). (arXiv)

19. Tameness in generalized metric structures. With Jiří Rosický and Pedro Zambrano. Archive for Mathematical Logic, 62(3-4): 531-558 (2023). (arXiv)

Preprints:

20. Approximations of superstability in concrete accessible categories. With Jiří Rosický. In preparation. (arXiv)

Course Texts:

Elements of Mathematical Logic, English-language course materials for SML/SML-A. (PDF)

Theses:

Topological and category-theoretic aspects of abstract elementary classes. Doctoral dissertation, University of Michigan, 2009. (MR2713880) (PDF)

Fibrational representations of the lambda calculus. Undergraduate thesis, Reed College, 2003. (PDF)

Google Scholar

Expository pieces:

Set-theoretic category theory. Notes of lecture given in the course Topics in Category Theory at Masaryk University, May 22, 2018. PDF

For nonmathematical audiences:

Kurt Gödel (1906-1978) - Geniální matematik z Brna. Ahoj, no. 4, pp. 22-23 (2017). [Czech language profile of Kurt Gödel and his major results]