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. New bounds on the strength of some restrictions of Hindman's Theorem. (with L. A. Kolodzieczyk, F. Lepore, K. Zdanowski). Submitted. January 2017, available on arXiv.