The axiom of determinacy, forcing axioms, and the nonstationary ideal - Woodin, W. Hugh 1955- (<<de>> Gruyter, 1999)