Fine Structure and Class Forcing.

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

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.