Friedman, Sy D.

Fine Structure and Class Forcing. - 1st ed. - 1 online resource (232 pages) - De Gruyter Series in Logic and Its Applications Series ; v.3 . - De Gruyter Series in Logic and Its Applications Series .

Intro -- 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.

No detailed description available for "Fine Structure and Class Forcing".

9783110809114


Forcing (Model theory).


Electronic books.

QA9.7 -- .F75 2000eb

511.322