The axiom of determinacy, forcing axioms, and the nonstationary idealby W. H. WoodinForcing (Model theory)Model theoryWriting a summary for young readers…For young readersBook data: Open Library