3 works on record
Recursion theory
Above Center of Mass Command
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem