5 works on record
The axiom of determinacy, forcing axioms, and the nonstationary ideal
1999
Infinity
Infinity and Truth
Forcing, iterated ultrapowers, and Turing degrees
Introduction to Independence for Analysts
