W. H. WoodinBooksInfinity and TruthInfinityIntroduction to Independence for AnalystsThe axiom of determinacy, forcing axioms, and the nonstationary idealForcing, iterated ultrapowers, and Turing degreesThe axiom of determinacy, forcing axioms, and the nonstationary idealAuthor data: Open Library