1. Ordinal Mind-Change Complexity of Learnability of Robson Ideals in Non-Commutative Rings, 2006.
  2. Long Games on Positive Braids, 2006.
  3. Classifying the phase transition threshold for the Canonical Ramsey theorem (with A. Weiermann).
  4. A note on Hindman-type theorems for uncountable cardinals. April 2017, available on arXiv.
  5. Upper and lower bounds on the strength of restrictions of Hindman's Finite Sums Theorem. (with L. A. Kolodzieczyk, F. Lepore, K. Zdanowski). Submitted. Previous title: "New bounds on the strength of some restrictions of Hindman's Theorem", January 2017, available on arXiv.