When collapsing a cardinal, what ordinal does it become? Work in $V$.  Let $P = \text{Col}(\omega, \omega_1)$ and suppose that $G$ is generic for $P$ over $V$.  Then $V[G]\models |\omega_1^V|=\aleph_0$ and $\omega_2^V=\aleph_1$.  In particular, $V[G]\models\omega_1^V$ is an ordinal between $\omega$ and $\omega_1^{V[G]}$.  What ordinal is it?  I would guess that the answer depends on $G$, and the best that we can say is that it is a limit ordinal.
 A: I think that you're missing the point of the Levy collapse.
Forcing [over transitive models] does not add ordinals. It does not remove ordinals either. What the collapse does is to add a bijection between $\omega$ and $\omega_1$.
Note that all the "definable" ordinals ($\varepsilon_0$, etc.) and so are very small, and $\omega_1^V$ is far far beyond them.
And to your comment, yes. In fact this is what we would call it: $\omega_1^V$. If $\alpha$ is a countable ordinal and we know that there is an inner model $M$ in which $\alpha=\omega_1^M$ then we immediately know two things:


*

*$\alpha$ is quite a large countable ordinal; and

*$\omega_1^M$ is an excellent way to name it.


In the case of forcing we actually start with the inner model.

For the comment:


*

*Definability is a strong word. If the ground model was $L$, certainly $\omega_1^L$ is a definable ordinal. It is the least ordinal that there is no bijection between him and $\omega$ which satisfies the constructibility axiom. Furthermore, we now know that the ground model is definable with parameters. This means that $\omega_1^V$ is definable from parameters in $V[G]$ by the same trick.

*Note that ordinal arithmetics are not changed by forcing. This means that $\omega_1^V$ is an $\varepsilon$ number in $V[G]$ since $\omega^{\omega_1}=\omega_1$ in $V$; furthermore it is a fixed point of $\varepsilon$ numbers, for the same reasons. Namely if $\alpha=\omega_1^V$ then $\alpha=\varepsilon_\alpha$, which in $V$ is the $\omega_1$-th and in $V[G]$ is not.

*Since $\omega_1^V$ is an $\varepsilon$ number its Cantor normal form is in fact $\omega_1^V$, so there is no simpler way of writing it.
