Book contents
- Frontmatter
- Dedication
- Contents
- Chapter 1 Introduction
- Chapter 2 Hybrid 𝒥-structures
- Chapter 3 Short tree strategy mice
- Chapter 4 A comparison theory of HOD mice
- Chapter 5 HOD mice revisited
- Chapter 6 The internal theory of LSA HOD mice
- Chapter 7 Analysis of HOD
- Chapter 8 Models of LSA as derived models
- Chapter 9 Condensing sets
- Chapter 10 Applications
- Chapter 11 A proof of square in LSA-small HOD mice
- Chapter 12 LSA from PFA
- References
- Index
Chapter 9 - Condensing sets
Published online by Cambridge University Press: 07 June 2024
- Frontmatter
- Dedication
- Contents
- Chapter 1 Introduction
- Chapter 2 Hybrid 𝒥-structures
- Chapter 3 Short tree strategy mice
- Chapter 4 A comparison theory of HOD mice
- Chapter 5 HOD mice revisited
- Chapter 6 The internal theory of LSA HOD mice
- Chapter 7 Analysis of HOD
- Chapter 8 Models of LSA as derived models
- Chapter 9 Condensing sets
- Chapter 10 Applications
- Chapter 11 A proof of square in LSA-small HOD mice
- Chapter 12 LSA from PFA
- References
- Index
Summary
This chapter develops the theory of condensing sets. Condensing sets give rise to iteration strategies with nice condensation properties. We show the existence of condensing sets under various hypotheses: AD^+ and PFA. We will use the existence of condensing sets in AD^+ in the proof of generation of pointclasses in Chapter 10. We will use the existence of condensing sets in Chapter 12 to construct a model of LSA under PFA.
- Type
- Chapter
- Information
- The Largest Suslin Axiom , pp. 235 - 272Publisher: Cambridge University PressPrint publication year: 2024