User blog comment:MilkyWay90/My ordinal function/@comment-35470197-20180630144403/@comment-31966679-20180701173444

I don't remember the extended version adding all the inputs for F(a, b, ..., c, a(n)) ≠ F(a + b + ... + c, a(n))

I think you got a different version of it again, so let me explain in this reply.

\(F(a, b, \ldots, c, a(n)) = F(a, b, \ldots, c - 1, a^{F(a, b, \ldots, c - 1, a(n))}(n))\)

\(F(a, b, \ldots, 0, a(n)) = F(a, b, \ldots, a(n))\)

\(F(a, a(n)) = F(a - 1, a^{F(a - 1, a(n))}(n))\)

\(F(0, a(n)) = a(n)\)