Equivalents of the finitary non-deterministic inductive definitions. - Ayana Hirata; Hajime Ishihara; Tatsuji Kawai; Takako Nemoto (Ann. Pure Appl. Log., 2019)