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 8 - Models of LSA as derived models
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
In this chapter, we show that under AD^+, the derived model of certain hod pairs satisfies the LSA. We also prove results that are important elsewhere. In particular, we show the derived model of an active \omega.2 lsa Woodin mouse satisfies LSA. This result will be important in Chapter 12, where we obtain the consistency of LSA from PFA.
Keywords
- Type
- Chapter
- Information
- The Largest Suslin Axiom , pp. 213 - 234Publisher: Cambridge University PressPrint publication year: 2024