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 1 - Introduction
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 introduces the main concepts and the problems to be investigated by the book. In particular, the chapter defines the Largest Suslin Axiom (LSA) and the minimal model of LSA. The chapter summarizes the main theorems to be proved in the book: HOD of the minimal model of LSA satisfies the Generalized Continuum Hypothesis, the Mouse Set Conjecture holds in the minimal model of LSA, the consistency of LSA from large cardinals, the consistency of LSA from strong forcing axioms like PFA.
Keywords
- Type
- Chapter
- Information
- The Largest Suslin Axiom , pp. 1 - 8Publisher: Cambridge University PressPrint publication year: 2024