User blog comment:KthulhuHimself/VAST function/@comment-1605058-20151124150523

In order to make your functions well-defined, you have to specify fundamental sequences for all ordinals which you use. Just like FGH, without them it's worth pretty much nothing.

Less importantly, it's incorrect to call your function computable, because it's domain is not a subset of $$\Bbb N^k$$, but rather $$\Bbb N\times\omega_1$$.