User blog comment:Simplicityaboveall/Extremely Large Numbers 5/@comment-24920136-20160801232757

Ive found a problem with your f_k(n), it seems you have only defined it for cases where k is a successor ordinal, you did not define a case for limit ordinals which means f_k(n) can't work if k is, for example: ω