Hi
I hope this question is accurate. Gödel and Cohen could show that the Continuum Hypothesis (CH) is independent from ZFC using models in which CH holds, and fails respectively. 
My question now is: 


If we take a large enough part of the universe, say $V\_{\omega\_{\omega}}$ , does CH hold in it? 
And why can't we go on to argue like this:


If $V\_{\omega\_{\omega}} \models CH$ then there is a bijection between $\omega\_1$ and $2^{\aleph\_0}$, and as $V\_{\omega\_{\omega}}$ is transitive this is 'really' a bijection thus CH holds in ZFC.


If $V\_{\omega\_{\omega}} \models \lnot CH$ then, as any possible bijection between $\omega\_1$ and $2^{\omega}$ is already an element of $V\_{\omega\_{\omega}}$, CH is inside ZFC refuteable?


This are maybe crude argumentations but I can't answer that by myself.



Does the Continuum Hypothesis hold for sets of a certain rank?
The Continuum Hypothesis, viewed as the assertion that every subset of $P(\omega)$ is either countable or bijective with $P(\omega)$, is expressible already in $V\_{\omega+2}$, since that structure has the full $P(\omega)$ and all subsets of it, as well as all functions between such subsets (one should use a flat pairing function for ordered pairs, which doesn't require one to increase rank for pairs). Thus, CH holds if and only if it holds in any (or all) $V\_\alpha$ for $\alpha\geq\omega+2$.


