Martin Zeman and I have just submitted our paper Downward transference of mice and universality of local core models to the Journal of Symbolic Logic, downloadable from my papers page. We have also uploaded it on the ArXiv. (I should have been doing this for years; this is the first time I post there.)
It is a nice observation that goes back to Friedman that if exists and is an inner model that correctly computes , then . Looking at a completely different problem, from the theory of forcing axioms, we were led to the question of how much this result can be generalized.
Our main result is that there is a significant transfer of structure going on, simply due to the agreement of cardinals. (The statement of the result and, of course, the argument, require familiarity with fine structure theory, as developed in Steel’s or Martin’s books.)
Theorem. Assume that is a proper class inner model, and that is regular in .
- If there are no inner models of with Woodin cardinals, , and
is stationary, then is universal for all iterable 1-small premice in of cardinality less than .
- If, in , does not exist, and is stationary, and , then the same conclusion holds. If , then is universal for all countable iterable premice in .
Here, as usual, denotes the collection of subsets of of size less than . It is easy to check that is stationary if computes correctly, so this result generalizes the statement about mentioned above.
In fact, it follows that, if is computed correctly in , then any sound mouse in projecting to and below , is in . Beyond , the argument becomes more complicated, and we need to assume a global anti-large cardinal assumption, namely, that there are no inner models in with Woodin cardinals.
We expect that this restriction can be weakened, perhaps even dispensed with.
(This paper is the second in a series, aiming to explore the structure of inner models for which some agreement of cardinals holds. I briefly mentioned the first paper here.)