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