Skip to main content
1 of 2

Diagonalization of a normal function and its derivatives over transfinite ordinals

Let $\Phi(0,\beta)$ a normal function and let $\Phi(\alpha,\beta)$ be the $\alpha$-th derivative of $\Phi(0,\beta)$. For example, let $\Phi(0,\beta)=\aleph_\beta$. Then, all functions $F_\alpha(\beta)=\Phi(\alpha,\beta)$ are also normal functions fora fixed $\alpha$. I have two questions:

  1. Are functions $G_\beta(\alpha)=\Phi(\alpha,\beta)$ also normal for a fixed $\beta$?
  2. Is the diagonalization $\Psi(\alpha)=\Phi(\alpha,\alpha)$ also a normal function?