Skip to main content

What strengthenings of measurability does the Mostowski collapse of ultrapowers possess?

What strengthenings of measurability does the Mostowski collapse of the ultrapowers possess?

Here's what I mean. Let $j:V\rightarrow M$ be an elementary embedding with critical point $\kappa$ where $P(M)$ holds (given some third order predicate). Let $MO$ be the Mostowski collapse of $Ult_U(V)$ for some nonprinciple $\kappa$-complete ultrafilter $U$. When does $P(MO)$ also hold?

A perfect example is measurability itself. $j$ has critical point $\kappa$. Letting $P(M)$ be "there is an elementary embedding $j_0:V\rightarrow M$ with critical point $\kappa$", it can be seen that $M$ holds iff $MO$ holds.

But does it hold for the following strengthenings of measurability?

  • Let $\kappa$ be $\theta$-strong. Is $V_\theta\subset MO$?
  • Let $\kappa$ be $\theta$-supercompact. Is $MO^\theta\subset MO$?
  • Let $\kappa$ be $n$-superstrong, and $j_0:V\rightarrow MO$ be the composition of the mostowski collapse function (between the ultrapower and $MO$) $\pi$ to the canonical ultrapower embedding. Is $V_{j_0^n(\kappa)}\subset MO$?
  • Let $\kappa$ be $n$-huge, and $j_0:V\rightarrow MO$ be the composition of the mostowski collapse function (between the ultrapower and $MO$) $\pi$ to the canonical ultrapower embedding. Is $MO^{j_0^n(\kappa)}\subset MO$?
Keith Millar
  • 1.3k
  • 7
  • 11