W. H. Woodin

• Infinity
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Forcing, iterated ultrapowers, and Turing degrees
• Infinity and Truth
• Introduction to Independence for Analysts