Skip to main content
added 70 characters in body
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

The answer is yes. If you know that $\kappa$ has high Mitchell rank, then it follows that there must be many measurables below with high Mitchell rank, since this is a $\Sigma_2$-property, observable in any model with the same $V_{\kappa+2}$. So it reflects below.

For exampleSpecifically, if $j:V\to M$ has critical point $\kappa$ and $M$ has all the measures on $\kappa$, then $M$ will noticeobserve that $\kappa$ has highthe Mitchell rank, and so that it isdoes. So it will be true in $M$ that there are suchis a measurable cardinalscardinal as desired below $j(\kappa)$, soand consequently by elementarity there mustwill be many such measurable cardinals below $\kappa$ in $V$.

If you know that $\kappa$ has high Mitchell rank, then it follows that there must be many measurables below with high Mitchell rank, since this is a $\Sigma_2$-property, observable in any model with the same $V_{\kappa+2}$. So it reflects below.

For example, if $j:V\to M$ has critical point $\kappa$ and $M$ has all the measures on $\kappa$, then $M$ will notice that $\kappa$ has high Mitchell rank, and so it is true in $M$ that there are such measurable cardinals below $j(\kappa)$, so there must be many such measurable cardinals below $\kappa$ in $V$.

The answer is yes. If you know that $\kappa$ has high Mitchell rank, then it follows that there must be many measurables below with high Mitchell rank, since this is a $\Sigma_2$-property, observable in any model with the same $V_{\kappa+2}$. So it reflects below.

Specifically, if $j:V\to M$ has critical point $\kappa$ and $M$ has all the measures on $\kappa$, then $M$ will observe that $\kappa$ has the Mitchell rank that it does. So it will be true in $M$ that there is a measurable cardinal as desired below $j(\kappa)$, and consequently by elementarity there will be many such measurable cardinals below $\kappa$ in $V$.

Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

If you know that $\kappa$ has high Mitchell rank, then it follows that there must be many measurables below with high Mitchell rank, since this is a $\Sigma_2$-property, observable in any model with the same $V_{\kappa+2}$. So it reflects below.

For example, if $j:V\to M$ has critical point $\kappa$ and $M$ has all the measures on $\kappa$, then $M$ will notice that $\kappa$ has high Mitchell rank, and so it is true in $M$ that there are such measurable cardinals below $j(\kappa)$, so there must be many such measurable cardinals below $\kappa$ in $V$.