Skip to main content
1 of 2
jonasreitz
  • 1.1k
  • 7
  • 12

What can we learn about an elementary embedding from the image of the ordinals?

If $j : V \rightarrow M$ is an elementary embedding, what can we learn in $M$ from $j''ORD$? That is, what is $M[j''ORD]$?

In particular, is it equal to all of $V$? If not, do we get a model intermediate between $M$ and $V$?

My thinking goes like this: If we have the image of all of $V$, we can reconstruct $V$ itself by taking the Mostowski collapse of $j''V$ (and $j$ is the inverse of the Mostowski collapse). In $M[j''ORD]$, let's consider the class $W$ of sets with rank in $j''ORD$. Does the Mostowski collapse of $W$ yield all of $V$, and if not, what's missing?

I am thinking of $j$ arising from a measure on $\kappa$, but I'm also interested in the more general situation.

jonasreitz
  • 1.1k
  • 7
  • 12