000			02889nam a22004693i 4500
001			EBC3040572
003			MiAaPQ
005			20240729124316.0
006			m o d |
007			cr cnu||||||||
008			240724s2000 xx o ||||0 eng d
020			_a9783110809114 _q(electronic bk.)
020			_z9783110167771
035			_a(MiAaPQ)EBC3040572
035			_a(Au-PeEL)EBL3040572
035			_a(CaPaEBR)ebr10588386
035			_a(CaONFJC)MIL558740
035			_a(OCoLC)842582021
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA9.7 -- .F75 2000eb
082	0		_a511.322
100	1		_aFriedman, Sy D.
245	1	0	_aFine Structure and Class Forcing.
250			_a1st ed.
264		1	_aBerlin/Boston : _bWalter de Gruyter GmbH, _c2000.
264		4	_c©2000.
300			_a1 online resource (232 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.3
505	0		_aIntro -- Preface -- 1 The Σ* Approach to the Fine Structure of L -- 1.1 The J-Hierarchy -- 1.2 Fine Structure Theory -- 1.3 Morasses -- 2 Forcing -- 2.1 Set Forcing -- 2.2 Class Forcing -- 2.3 Examples -- 3 Construction of Generic Classes -- 3.1 Rigidity -- 3.2 Relevant Forcing -- 4 The Coding Theorem -- 4.1 Three Questions of Solovay -- 4.2 The Coding Theorem without 0# -- 4.3 The Coding Theorem in the General Case -- 4.4 Large Cardinal Preservation and Relevance -- 5 The Genericity Problem -- 5.1 Jensen's Example and a New Conjecture -- 5.2 Perturbing the Indiscernibles -- 5.3 Generic Saturation -- 6 The π12-Singleton Problem -- 6.1 An Absolute Singleton -- 6.2 David's Trick -- 6.3 Other Applications -- 7 The Admissibility Spectrum Problem -- 7.1 Killing Admissibles -- 7.2 Strong Coding -- 7.3 Other Spectra -- 8 Further Applications of Class Forcing -- 8.1 Δ1-Coding -- 8.2 Iterated Class Forcing -- 8.3 Minimal Coding -- 8.4 Further Applications to Descriptive Set Theory -- Some Open Problems -- References -- Index.
520			_aNo detailed description available for "Fine Structure and Class Forcing".
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).
655		4	_aElectronic books.
776	0	8	_iPrint version: _aFriedman, Sy D. _tFine Structure and Class Forcing _dBerlin/Boston : Walter de Gruyter GmbH,c2000 _z9783110167771
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=3040572 _zClick to View
999			_c64224 _d64224