User blog:Edwin Shade/LOOC Challenge II (A continuation of Nayuta Ito's Post)

F(w),F(a):{b|->F(a-1)^b},F(0):{c|->1+c} F(w) is equivalent to $$\epsilon_\omega$$ {d|->F(d)},F(a):{b|->F(a-1)^b},F(0):{c|->1+c} {d|->F(d)} is equivalent to $$\zeta_0$$

[More is planned in the future; all ordinals up to the Large Veblen Ordinal will be defined]