User blog:Alemagno12/Nish's LOOC Challenge

Up to the Feferman-Schütte Ordinal

 * ω: {n->1+n}
 * ε0: {n->{m->1+m}^n}
 * εn+1 (n < ω): A(n), A(0)={m->1+m}, A(x+1)={y->A(x)^y}
 * [WIP]