Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question is from Set Theory, Jech(2006), Page 70, 6.5.

Rank function is defined as on Page 64:

  • $V_0=\emptyset$,
  • $V_{\alpha+1}=P(V_{\alpha})$,
  • $V_{\alpha}=\bigcup_{\beta<\alpha}V_\beta$, if $\alpha$ is a limit ordinal.

$\mathrm{rank}(x)=\operatorname{min}\{\alpha \in \mathrm{Ord}:x \in V_{\alpha+1}\}$

share|cite|improve this question
up vote 2 down vote accepted

As Asaf hints, you really have to get your hands dirty for this one.

If $x , y \in V_{\alpha + 1}$, then for each $u \in x$ and $v \in y$ we have that $u , v \in V_\alpha$ and so $\{ v \} , \{ v , u \} \in V_{\alpha + 1}$ and so $\langle v , u \rangle = \{ \{ v \} , \{ v , u \} \} \in V_{\alpha + 2}$. Thus $y \times x \subseteq V_{\alpha + 2}$, and so $y \times x \in V_{\alpha + 3}$. Also, every subset of $y \times x$ belongs to $V_{\alpha + 3}$, in particular every function $y \to x$ belongs to $V_{\alpha + 3}$, and so the set of all those functions belongs to $V_{\alpha + 4}$.

share|cite|improve this answer

Show that the rank of $y\times x$ is below $\alpha+5$ or so, and the conclusion should follow.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.