We develop the theory of hod mice below ADℝ + "Θ is regular". We use this theory to show that HOD of the minimal model of ADℝ + "Θ is regular" satisfies GCH. Moreover, we show that the Mouse Set Conjecture is true in the minimal model of ADℝ + "Θ is regular".
All Science Journal Classification (ASJC) codes
- Applied Mathematics
- Descriptive set theory
- Hod mouse
- Inner model theory