Title: Proof-theoretical analyses of transfinite recursion and inductive definitions