User blog comment:King2218/FGH Things/@comment-25418284-20140305080757/@comment-24509095-20140306100931

Hmm...

f#(b+1) = f#(f#(b)) if b is transfinite?

I'm not sure.

Then,

f_e0(w+1) = f_e0(f_e0(w)) (And this will be evaluated in a limitish way :P (that's the only way I can think of right now (or we can base it on other computations (wow so much for parentheses))))

Rule 3:

f_a(n) = f_a[n](n) iff a is a limit ordinal and n < w.

Does that work?