Skip to main content

Diagonalization ofover a normal function and its derivatives overon transfinite ordinals

Let $\Phi(0,\beta)$ a normal function from $On$ to $On$, 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 forafor a fixed $\alpha$. I have two questions:

  1. Are functionsLet $G_\beta(\alpha)=\Phi(\alpha,\beta)$. Is this one also a normal function for a fixed $\beta$? (Maybe it depends on $\beta$?)
  2. Is the diagonalization $\Psi(\alpha)=\Phi(\alpha,\alpha)$ also a normal function?

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?

Diagonalization over a normal function and its derivatives on transfinite ordinals

Let $\Phi(0,\beta)$ a normal function from $On$ to $On$, 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 for a fixed $\alpha$. I have two questions:

  1. Let $G_\beta(\alpha)=\Phi(\alpha,\beta)$. Is this one also a normal function for fixed $\beta$? (Maybe it depends on $\beta$?)
  2. Is the diagonalization $\Psi(\alpha)=\Phi(\alpha,\alpha)$ also a normal function?
Source Link

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?