TY - BOOK AU - Woodin W Hug TI - Axiom of determinacy, forcing axioms, and the nonstationary ideal SN - 3-11015708-X U1 - 511.3 PY - 1999/// CY - Berlin PB - Walter de Gruyter KW - Forcing(Model theory) ER -