Downward transference of mice and universality of local core models

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 $0^\sharp$ exists and ${\mathbf M}$ is an inner model that correctly computes $\omega_2$ , then $0^\sharp\in {\mathbf M}$ . 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 ${\mathbf M}$ is a proper class inner model, and that $\delta$ is regular in ${\mathbf V}$ .

If there are no inner models of ${\mathbf V}$ with Woodin cardinals, $\delta>\omega_1$ , and
$\{x\in{\mathcal P}_\delta(\delta^+)\cap{\mathbf M}\mid{\rm cf}^{\mathbf M}(x\cap\delta)>\omega\}$

is stationary, then ${\mathbf K}^{\mathbf M}\|\delta$ is universal for all iterable 1-small premice in ${\mathbf V}$ of cardinality less than $\delta$ .

If, in ${\mathbf M}$ , $0^\P$ does not exist, and ${\mathcal P}_\delta(\delta^+)\cap{\mathbf M}$ is stationary, and $\delta>\omega_1$ , then the same conclusion holds. If $\delta=\omega_1$ , then ${\mathbf K}^{\mathbf M}\|\omega_2$ is universal for all countable iterable premice in ${\mathbf V}$ .

Here, as usual, ${\mathcal P}_\kappa(\lambda)$ denotes the collection of subsets of $\lambda$ of size less than $\kappa$ . It is easy to check that ${\mathcal P}_{\omega_1} (\omega_2)\cap{\mathbf M}$ is stationary if ${\mathbf M}$ computes $\omega_2$ correctly, so this result generalizes the statement about $0^\sharp$ mentioned above.

In fact, it follows that, if $\omega_2$ is computed correctly in ${\mathbf M}$ , then any sound mouse in ${\mathbf V}$ projecting to $\omega$ and below $0^\P$ , is in ${\mathbf M}$ . Beyond $0^\P$ , the argument becomes more complicated, and we need to assume a global anti-large cardinal assumption, namely, that there are no inner models in ${\mathbf V}$ 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.)

This entry was posted on Wednesday, April 4th, 2012 at 9:46 am and is filed under Papers. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

	ปั่นสล็อต on 414/514 The theorems of Rieman…
	Richard Kimberly Hec… on Woodin’s proof of the se…
	Is there a Borel-mea… on 414/514 Examples of Baire clas…
	Simple bijectiveness… on 580 -Some choiceless results…
	Schur’s theore… on 580 -III. Partition calcu…
	Uncountable linearly… on 403/503 – Homework …
	What is a non-constr… on On strong measure zero se…
	function from Nmathb… on Hindsight
	Cauchy Schwarz Inequ… on 275 -Positive polynomials
	What is a Cantor-sty… on 580 -Some choiceless results…
	Question about Gener… on 580 -Some choiceless results…
	Set has Measure Zero… on On strong measure zero se…
	Non-measurable subse… on 580 -Cardinal arithmetic …
	hmeng1 on 414/514 The theorems of Rieman…
	580 -Cardinal arithm… on 580 -Cardinal arithmetic …

M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30

A kind of library