W. H. Woodin

Forcing, iterated ultrapowers,

Forcing, iterated ultrapowers, and Turing degrees

2015

Infinity and Truth

Infinity and Truth

2013

The axiom of determinacy, forcing axioms, and the nonstationary ideal

1999

Introduction to Independence f

Introduction to Independence for Analysts

1987