Skip to main content
10 of 17
added 214 characters in body
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

Let me improve somewhat on Farmer's lower bound.

Theorem. If there is a cardinal $\kappa$ with the stated reflection property, then there are many measurable cardinals, measurable cardinals of very high Mitchell rank, and indeed, $1$-extendible cardinals of high Mitchell rank.

Proof. Suppose that $\kappa$ has the stated reflection property. Consider some large ordinal $\theta$ and let $B=\langle V_{\theta+1},{\in}\rangle$. By the reflection property, there is some structure $A$ with lots of elementary embeddings $j:A\to B$ hitting any desired target. We may assume $A$ is a transitive set. Let $\bar\kappa$ be the smallest critical point of such an embedding. For any $X\subseteq\bar\kappa$, it is in $B$ and so there is some $x\in A$ and $j:A\to B$ with $j(x)=X$. Since $x$ and $j(x)=X$ must agree up to $\bar\kappa$, this implies $X\in A$. So $P(\bar\kappa)\subseteq A$. This implies that $\bar\kappa$ is measurable, since we can define the induced normal measure $X\in\mu\iff \bar\kappa\in j(X)$ for such a $j$ with critical point $\bar\kappa$.

So we've seen that $\bar\kappa$ is a measurable cardinal. And since $B$ also can see this, there must be measurable cardinals below $\bar\kappa$ in $A$. And indeed, the measure $\mu$ on $\bar\kappa$ will concentrate on measurables. So $\bar\kappa$ has Mitchell rank 1. But $B$ sees this, and so $\bar\kappa$ has Mitchell rank 2, and so forth, cycling around the loop for a long while to get very high Mitchell ranks.

The same idea shows that $\bar\kappa$ is 1-extendible, since we must have $V_{\bar\kappa+1}\subseteq A$ and so $j\upharpoonright V_{\bar\kappa+1}:V_{\bar\kappa+1}\to V_{j(\bar\kappa)+1}$ witnesses 1-extendibility. And since this is inside $B$, we get that $\bar\kappa$ is a limit of 1-extendibles, of high Mitchell rank again. $\Box$

It seems that we can push this much harder. Namely, for every $\theta$ we got a small transitive set $A$ which supports the elementary embeddings $j:A\to V_{\theta+1}$. Since there are only set many such $A$, it must be that some $A$ works for unboundedly many $\theta$. That is, we have a single transitive set $A$, such that for arbitrarily large $\theta$ we have elementary embeddings $j:A\to V_{\theta+1}$ that cover the target. And there will be a $\bar\kappa$ in $A$ that is the critical point of such an embedding for arbitrarily large $\theta$.

Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k