Article contents
THE MOUSE SET CONJECTURE FOR SETS OF REALS
Published online by Cambridge University Press: 22 April 2015
Abstract
We show that the Mouse Set Conjecture for sets of reals is true in the minimal model of ADℝ + “Θ is regular”. As a consequence, we get that below ADℝ + “Θ is regular”, models of AD++¬ADℝ are hybrid mice over ℝ. Such a representation of models of AD+ is important in core model induction applications.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2015
References
REFERENCES
- 4
- Cited by