I am doing the following exercise from Just/Weese:
where $F$ is defined as follows:
(a) I'm not sure whether the following passes as "convince myself": Apparently $F$ is defined for all ordinals hence its domain is $\mathbf{ON}$. It is similarly apparent that the values of $F$ are infinite cardinals. Also, $F$ is well-defined: assume $\alpha = \alpha'$. Then it immediately follows from (i) -(iii) that $F(\alpha) = F(\alpha')$. Finally, assume $G$ is another enumeration of the infinite cardinals. Let $\alpha$ be the smallest ordinal such that $F(\alpha) \neq G(\alpha)$. It is clear that $\alpha$ must be greater than zero. It is also clear that if $F,G$ agree on all $\beta < \alpha$ then they also have to agree for $\alpha$. Hence $F=G$ so that $F$ is unique.
(b) By transfinite induction. If $\alpha = 0$ then it immediately follows from (i)-(iii) that $F(\beta) > F(0) = \omega$ for all $\beta > 0$.
Now assume that $F(\beta) < F(\beta')$ for all $\beta, \beta' < \alpha$. We want to show that $\beta < \alpha$ implies that $F(\beta) < F(\alpha)$. If $\alpha $ is a successor ordinal then $F(\alpha) = F(\delta + 1) = F^+(\delta)$ where $\delta < \alpha$. Since there are no ordinals between $\delta$ and $\delta + 1 = \alpha$ we must have $\beta \le \delta$ and hence by assumption $F(\beta) \leq F(\delta)$. Hence $F(\beta) \leq F(\delta) < F^+(\delta) = F(\alpha)$.
This is the bit I am not so sure of:
If $\alpha$ is a limit ordinal then $F(\alpha) = \bigcup_{\gamma < \alpha} F(\gamma)$. Since $\beta < \alpha$ we then have $F(\beta) \subseteq F(\alpha)$ and hence $F(\beta) \le F(\alpha)$. Assume $F(\alpha) = F(\beta)$. Then $F(\beta) = \bigcup_{\gamma \le \beta} F(\gamma) < \bigcup_{\gamma < \alpha} F(\gamma) = F(\beta)$ which would be a contradiction.
(c) By transfinite induction. The claim is clearly true for $\alpha = 0$. Assume for all $\beta < \alpha$ we have $\omega_\beta \geq \beta$. We want to show that $\omega_\alpha \ge \alpha$. If $\alpha$ is a successor ordinal then $\alpha = \delta + 1$ for some $\delta \in \mathbf{ON}$. Then by assumption, $\delta \leq \omega_\delta$. Also, $\omega_\alpha = F(\alpha) = F(\delta + 1) = F(\delta)^+ = \omega_\delta^+ > \omega_\delta \ge \delta$ so that $\alpha = \delta + 1 \le \omega_\delta^+ = \omega_\alpha$.
If $\alpha $ is a limit ordinal, $\omega_\alpha = F(\alpha) = \bigcup_{\beta < \alpha} F(\beta) = \bigcup_{\beta < \alpha} \omega_\beta$. Since there are no finite limit ordinals, $\alpha = \omega_\beta$ for some $\beta < \alpha$ and the claim follows.
(d) We claim that the range of $F$ is the class of all infinite cardinals. It immediately follows from the definition of $F$ that the range of $F$ is a subset of the class of all infinite cardinals. It remains to be shown that $F$ is surjective. To this end, let $\kappa$ be an infinite cardinal. We proceed by transfinite induction. Assume that $\lambda \in \mathrm{range}(F)$ for all $\lambda < \kappa$. If $\kappa$ is a successor cardinal then $\kappa = \lambda^+$ for some $\lambda $ in the range of $F$ so that $\kappa = F(\alpha)^+ = F(\alpha+1)$. If $\kappa$ is a limit cardinal then $\kappa = \bigcup_{\gamma < \kappa} \gamma$ and since all $\gamma$ are in the range of $F$, $\kappa = \bigcup_{F(\beta) < \kappa} F(\beta)$. How do I finish from here?
(e) $\implies$: Let $F(\alpha) = \omega_\alpha$ be a limit cardinal. Then by the definition of $F$, $F(\alpha) = \bigcup_{\beta < \alpha}F(\beta)$ and $\alpha$ is a limit ordinal.
$\Longleftarrow$: Let $\alpha$ be a limit ordinal. Then (iii) applies so that $F(\alpha)$ is a limit caridnal.
Is this correct? And will you help me fill in the missing bits? Thank you for your help!