TY - GEN T1 - The axiom of determinacy, forcing axioms, and the nonstationary ideal DA - c2010. CY - Berlin ; CY - New York : AU - Woodin, W. H. ET - 2nd rev. ed. VL - 1 CN - QA9.7 PB - De Gruyter, PP - Berlin ; PP - New York : PY - c2010. ID - 476462 KW - Forcing (Model theory) KW - Model theory. TI - The axiom of determinacy, forcing axioms, and the nonstationary ideal LK - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10408301 UR - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10408301 ER -