Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation)
Takako Nemoto · Institutional Repositories DataBase (IRDB) · 2009
In [4], we introduced determinacy schemata motivated by Wadge classes in descriptive set theory.In this paper, we prove that a simple iteration of $\Sigma_{1}^{1}$ inductive definition implies Sep $(\triangle_{2}^{0}, \Sigma_{2}^{0})$ determinacy in the Baire space over RCA$0$ .