Home

Research and Publications

Postdoc Position

Cat Shelter Position

Research and Publications

I'm interested in the intersection of model theory and combinatorics. Some topics include tame hereditary classes, structural graph theory, $\omega$-categoricity, homogeneity, structural Ramsey theory, and exchangeability.
My publications can be viewed chronologically on Google Scholar, so below I have indulged that irrepressible instinct for classification. (I can only aspire to this.)

Monadic dividing lines and hereditary classes (Tame ones)

1. (with Michael C. Laskowski) Counting siblings in universal theories. Journal of Symbolic Logic 87 (2022) no. 3 arXiv link


2. (with Michael C. Laskowski) Mutual algebraicity and cellularity. Archive for Mathematical Logic 61 (2022) arXiv link


3. (with Michael C. Laskowski) Theories with few non-algebraic types over models, and their decompositions. Proceedings of the American Mathematical Society 150 (2022) no. 9, arXiv link


4. (with Michael C. Laskowski) Worst-case expansions of complete theories. Model Theory 1 (2022) no. 1 Journal link


5. Monadic stability and growth rates of $\omega$-categorical structures. Proceedings of the London Mathematical Society, 124 (2022), no. 3 arXiv link


6. (with Bertalan Bodor and James Hanson) Labelled growth rates of $\omega$ -categorical structures and applications in choiceless set theory. arXiv link


7. (with Michael C. Laskowski) Characterizations of monadic NIP. Transactions of the American Mathematical Society, Series B. 8 (2021), Journal link, Corrigenda link


8. (with Michael C. Laskowski) Existential characterizations of monadic NIP. (To appear in Communications of the American Mathematical Society.) arXiv link


9. (with Michael C. Laskowski) Indiscernibles in monadically NIP theories. Bulletin of the London Mathematical Society, 57 (2025), no. 11 arXiv link


10. (with Anuj Dawar, Ioannis Eleftheriadis, and Aris Papadopoulos) Monadic NIP in monotone classes of relational structures. ICALP 2023 arXiv link


11. (with Jaroslav Nešetřil, Patrice Ossona de Mendez, and Sebastian Siebertz) On the first-order transduction quasiorder of hereditary classes of graphs. Logical Methods in Computer Science, 21 (2025), no. 2 Journal link


12. (with Jaroslav Nešetřil, Patrice Ossona de Mendez, and Sebastian Siebertz) Decomposition horizons and a characterization of stable hereditary classes of graphs. European Journal of Combinatorics, 129 (2025) arXiv link


13. (with Jaroslav Nešetřil and Patrice Ossona de Mendez) Modeling FO-limits for monadically stable sequences. arXiv link


14. (with Édouard Bonnet, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mählmann, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk) Separability properties of monadically dependent graph classes. ICALP 2025 arXiv link

Homogeneous and $\omega$-categorical structures (Innumerable ones)

• Classification (Those drawn with a very fine camel-hair brush)
  1. The lattice of definable equivalence relations in homogeneous $n$-dimensional permutation structures. The Electronic Journal of Combinatorics 23 (2016), no. 4, Paper 44 Journal link
  
  
  2. Homogeneous 3-dimensional permutation structures. The Electronic Journal of Combinatorics 25 (2018), no. 2, Paper 52 Journal link
  
  
  3. (with Pierre Simon) The classification of homogeneous finite-dimensional permutation structures. The Electronic Journal of Combinatorics 27 (2020), no. 1, Paper 38 Journal link
  
  
  4. $\Lambda$-ultrametric spaces and lattices of equivalence relations. Algebra Universalis. 80 (2019), no.3 arXiv link
  
  
• Ramsey theory and other combinatorics (Those included in this classification)
  1. Ramsey expansions of $\Lambda$-ultrametric spaces. (To appear in European Journal of Combinatorics) arXiv link
  
  
  2. (with David Chodounský, Noé de Rancourt, Jan Hubička, Jamal Kawach, and Matěj Konečný) Big Ramsey degrees and infinite languages. Advances in Combinatorics. August (2024) Journal link
  
  
  3. (with Andrés Aranda, David Chodounský, Jan Hubička, Matěj Konečný, Jaroslav Nešetřil, and Andy Zucker) Type-respecting amalgamation and big Ramsey degrees. arXiv link
  
  
  4. (with Colin Jahel and Paolo Marimon) When invariance implies exchangeability (and applications to invariant Keisler measures). arXiv link
  
  
  5. (with Asma Ibrahim Almazaydeh and Dugald Macpherson) Omega-categorical limits of betweenness relations and $D$-sets. arXiv link
  
  

Other (Stray dogs)

1. (with Sarosh Adenwalla, John Sylvester, and Viktor Zamaraev) Boolean combinations of graphs. arXiv link


2. The undecidability of joint embedding and joint homomorphism for hereditary graph classes. Discrete Mathematics & Theoretical Computer Science. 21 (2019), no. 2 Journal link


3. The undecidability of joint embedding for 3-dimensional permutation classes. Discrete Mathematics & Theoretical Computer Science. 22 (2021), no. 2 Journal link


4. Decidability in geometric grid classes of permutations. Proceedings of the American Mathematical Society, 153 (2025) arXiv link


5. (with Matthew Kukla (undergraduate co-author)) Logical limit laws for layered permutations and related structures. Enumerative Combinatorics and Applications. 2 (2022), no. 4 Journal link


6. (with Ertem Esiner, Adilet Kachkeev, Alptekin Küpçü, Öznur Özkasap) FlexDPDP: Flexlist-Based Optimized Dynamic Provable Data Possession. ACM Transactions on Storage 12(4) (2016) 23 ePrint link