No CrossRef data available.
Article contents
DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
Published online by Cambridge University Press: 07 February 2019
Abstract
We introduce a mouse whose derived model satisfies $AD_ + {\rm{\Theta }} \ge \theta _{\aleph _2 } $. More generally, we will introduce a class of large cardinal properties yielding mice whose derived models can satisfy properties as strong as
$AD_ + {\rm{\Theta }} = \theta _{\rm{\Theta }} $.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20190314003518568-0333:S002248121800018X:S002248121800018X_inline3.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20190314003518568-0333:S002248121800018X:S002248121800018X_inline4.gif?pub-status=live)