Fine structure and class forcing /

Mostrar otras versiones (1)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Friedman, Sy D., 1953-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin ; New York : Walter de Gruyter, 2000.
Colección:De Gruyter series in logic and its applications ; 3.
Temas:
Forcing (Model theory)
Forcing (Théorie des modèles)
MATHEMATICS > Set Theory.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Preface
  • 1 The V* 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 s1/2-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 E1-Coding
  • 8.2 Iterated Class Forcing
  • 8.3 Minimal Coding
  • 8.4 Further Applications to Descriptive Set Theory
  • Some Open Problems
  • References
  • Index.

Ejemplares similares