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 2 - Hybrid 𝒥-structures
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
The main goal of this chapter is to prepare some terminology to be used in the rest of the book. One important notion introduced in this chapter is that of the undropping game. We will use it to prove a comparison theorem for hod mice in Chapter 4.
Keywords
- Type
- Chapter
- Information
- The Largest Suslin Axiom , pp. 9 - 60Publisher: Cambridge University PressPrint publication year: 2024