LEADER 03953nam 22006491 450 001 9910464264603321 005 20200520144314.0 010 $a3-11-080473-5 024 7 $a10.1515/9783110804737 035 $a(CKB)3390000000033132 035 $a(SSID)ssj0000559598 035 $a(PQKBManifestationID)11353402 035 $a(PQKBTitleCode)TC0000559598 035 $a(PQKBWorkID)10568090 035 $a(PQKB)11085561 035 $a(MiAaPQ)EBC3044462 035 $a(WaSeSS)Ind00009121 035 $a(DE-B1597)42217 035 $a(OCoLC)853247543 035 $a(OCoLC)857769673 035 $a(DE-B1597)9783110804737 035 $a(Au-PeEL)EBL3044462 035 $a(CaPaEBR)ebr10789491 035 $a(CaONFJC)MIL810935 035 $a(OCoLC)922947712 035 $a(EXLCZ)993390000000033132 100 $a19990402d1999 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe axiom of determinacy, forcing axioms, and the nonstationary ideal /$fW. Hugh Woodin 205 $aReprint 2011 210 1$aBerlin ;$aNew York :$cW. de Gruyter,$d1999. 215 $a1 online resource (944 pages) 225 0 $aDe Gruyter Series in Logic and Its Applications ;$v1 225 0$aDe Gruyter series in logic and its applications ;$v1 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-11-015708-X 320 $aIncludes bibliographical references (pages [927]-929) and index. 327 $t Frontmatter -- $t1 Introduction -- $t2 Preliminaries -- $t3 The nonstationary ideal -- $t4 The ?max-extension -- $t5 Applications -- $t6 ?max variations. 6.1 2?max -- $t6 ?max variations. 6.2 Variations for obtaining ?1-dense ideals. 6.2.1 ?max -- $t6 ?max variations. 6.2 Variations for obtaining ?1-dense ideals. 6.2.2 ?*max -- $t6 ?max variations. 6.2 Variations for obtaining ?1-dense ideals. 6.2.3 2?max -- $t6 ?max variations. 6.2 Variations for obtaining ?1-dense ideals. 6.2.4 Weak Kurepa trees and ?max -- $t6 ?max variations. 6.2 Variations for obtaining ?1-dense ideals. 6.2.5 KT?max -- $t6 ?max variations. 6.2 Variations for obtaining ?1-dense ideals. 6.2.6 Null sets and the nonstationary ideal -- $t6 ?max variations. 6.3 Nonregular ultrafilters on ?1 -- $t7 Conditional variations -- $t8 ? principles for ?1. 8.1 Condensation Principles -- $t8 ? principles for ?1. 8.2 ??NSmax -- $t8 ? principles for ?1. 8.3 The principles, ?+NS and ?++NS -- $t9 Extensions of L(?, ?). 9.1 AD+ -- $t9 Extensions of L(?, ?). 9.2 The ?max-extension of L(?, ?) -- $t9 Extensions of L(?, ?). 9.3 The ?max-extension of L(?, ?) -- $t9 Extensions of L(?, ?). 9.4 Chang's Conjecture -- $t9 Extensions of L(?, ?). 9.5 Weak and Strong Reflection Principles -- $t9 Extensions of L(?, ?). 9.6 Strong Chang's Conjecture -- $t9 Extensions of L(?, ?). 9.7 Ideals on ?2 -- $t10 Further results. 10.1 Forcing notions and large cardinals -- $t10 Further results. 10.2 Coding into L(P(?1)) -- $t10 Further results. 10.3 Bounded forms of Martin's Maximum -- $t10 Further results. 10.4 ?-logic -- $t10 Further results. 10.5 ?-logic and the Continuum Hypothesis -- $t10 Further results. 10.6 The Axiom (*)+ -- $t10 Further results. 10.7 The Effective Singular Cardinals Hypothesis -- $t11 Questions -- $tBibliography -- $tIndex 410 0$aDe Gruyter series in logic and its applications ;$v1. 606 $aForcing (Model theory) 606 $aModel theory 608 $aElectronic books. 615 0$aForcing (Model theory) 615 0$aModel theory. 676 $a511.3 700 $aWoodin$b W. H$g(W. Hugh)$01037435 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910464264603321 996 $aThe axiom of determinacy, forcing axioms, and the nonstationary ideal$92458417 997 $aUNINA