On the partial recursive functions of ordinal numbers
Tosiyuki Tugué · Journal of the Mathematical Society of Japan · 1964
On the basis of a series of Takeuti's papers [5], [6] and[7], G. TakeutiS and A. Kino [8] developed the theory of recursive functions of ordinals, defined by proposing schemata, and that of hierarchy of predicates of ordinals, * The author wishes to express his thanks to Professors G. Takeuti and V. Dev\'id\'e for their kind help in the preparation of this manuscript.