The axiom of determinacy, forcing axioms, and the nonstationary ideal - Woodin, W. H. (W. Hugh) (De Gruyter series in logic and its applications, 2010)