3 works on record
Infinity
Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
Forcing, Iterated Ultrapowers, and Turing Degrees