We identify the class of Σ1–inductive sets studied by Moschovakis as a set theoretical generalization of the class (1, 3) of the Rabin-Mostowski index hierarchy of alternating automata on infinite trees. That is, we show that every tree language recognized by an alternating automaton of index (1, 3) is Σ1–inductive, and exhibit an automaton whose language is complete in this class w.r.t. contin...