000			03693nam a22004813i 4500
001			EBC3044462
003			MiAaPQ
005			20240729124338.0
006			m o d |
007			cr cnu||||||||
008			240724s1999 xx o ||||0 eng d
020			_a9783110804737 _q(electronic bk.)
020			_z9783110157086
035			_a(MiAaPQ)EBC3044462
035			_a(Au-PeEL)EBL3044462
035			_a(CaPaEBR)ebr10789491
035			_a(CaONFJC)MIL810935
035			_a(OCoLC)922947712
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA9.7.W66 1999eb
082	0		_a511.3
100	1		_aWoodin, W. Hugh.
245	1	4	_aThe Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.
250			_a1st ed.
264		1	_aBerlin/Boston : _bDe Gruyter, Inc., _c1999.
264		4	_c©1999.
300			_a1 online resource (944 pages)
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aDe Gruyter Series in Logic and Its Applications Series ; _vv.1
505	0		_aIntro -- 1 Introduction -- 1.1 The Nonstationary Ideal On ω1 -- 1.2 The Partial Order ℙmax -- 1.3 ℙmax Variations -- 1.4 Extensions Of Inner Models Beyond L (ℝ) -- 1.5 Concluding Remarks -- 2 Preliminaries -- 2.1 Weakly Homogeneous Trees And Scales -- 2.2 Generic Absoluteness -- 2.3 The Stationary Tower -- 2.4 Forcing Axioms -- 2.5 Reflection Principles -- 2.6 Generic Ideals -- 3 The Nonstationary Ideal -- 3.1 The Nonstationary Ideal And δ̰12 -- 3.2 The Nonstationary Ideal And Ch -- 4 The ℙmax-Extension -- 4.1 Iterable Structures -- 4.2 The Partial Order ℙmax -- 5 Applications -- 5.1 The Sentence φac -- 5.2 Martin'S Maximum, φac And ◇ω(ω2) -- 5.3 The Sentence ψac -- 5.4 The Stationary Tower And ℙmax -- 5.5 ℙ*Max -- 5.6 ℙ0Max -- 5.7 The Axiom (**) -- 5.8 Homogeneity Properties Of P(ω1)/Lns -- 6 ℙmax Variations -- 6.1 2ℙmax -- 6.2 Variations For Obtaining ω1-Dense Ideals -- 6.3 Nonregular Ultrafilters On ω1 -- 7 Conditional Variations -- 7.1 Suslin Trees -- 7.2 The Borel Conjecture -- 8 ♣ Principles For ω1 -- 8.1 Condensation Principles -- 8.2 ℙ♣Nsmax -- 8.3 The Principles, ♣+Ns And ♣++Ns -- 9 Extensions Of L(Γ, ℝ) -- 9.1 Ad+ -- 9.2 The ℙmax-Extension Of L(Γ, ℝ) -- 9.3 The ℚmax-Extension Of L(Γ, ℝ) -- 9.4 Chang'S Conjecture -- 9.5 Weak And Strong Reflection Principles -- 9.6 Strong Chang'S Conjecture -- 9.7 Ideals On ω2 -- 10 Further Results -- 10.1 Forcing Notions And Large Cardinals -- 10.2 Coding Into L(P(ω1)) -- 10.3 Bounded Forms Of Martin'S Maximum -- 10.4 Ω-Logic -- 10.5 Ω-Logic And The Continuum Hypothesis -- 10.6 The Axiom (*)+ -- 10.7 The Effective Singular Cardinals Hypothesis -- 11 Questions -- Bibliography -- Index.
520			_aNo detailed description available for "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal".
588			_aDescription based on publisher supplied metadata and other sources.
590			_aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650		0	_aForcing (Model theory).
650		0	_aModel theory.
655		4	_aElectronic books.
776	0	8	_iPrint version: _aWoodin, W. Hugh _tThe Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal _dBerlin/Boston : De Gruyter, Inc.,c1999 _z9783110157086
797	2		_aProQuest (Firm)
830		3	_aDe Gruyter Series in Logic and Its Applications Series
856	4	0	_uhttps://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3044462 _zClick to View
999			_c64928 _d64928