A note on multiple inductive definitions

In Ref. 8, we introduced a new axiom scheme for multiple inductive definitions to capture the exact strength of -determinacy in second order arithmetic. In this paper, we show this complicated axiom turns out to be equivalent to an axiom of single inductive definitions. This observation is useful to characterize and related systems.