We show that the Mouse Set Conjecture for sets of reals is true in the minimal model of ADR+“Θ is regular”. As a consequence, we get that below ADR+“Θ is regular”, models of AD++¬ADR are hybrid mice over R. Such a representation of models of AD+ is important in core model induction applications.
All Science Journal Classification (ASJC) codes
- Descriptive set theory
- Hod mouse
- Inner model theory