Skip to main content
4 of 4
added 137 characters in body
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

The answer is no.

If $j$ maps each $V_{\omega+n+1}^M$ onto $V_{\omega+n}^M$ for $n\in\omega^M$, then $j[V_{\omega+\omega}^M]=V_{\omega+\omega}^M$ and so it cannot be that $j[V_{\omega+\omega+1}^M]=V_{\omega+\omega}^M$ also, if $j$ is one-to-one, since all the elements in the target are already used.

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