Δ03-determinacy, comprehension and induction. - MedYahya Ould MedSalem; Kazuyuki Tanaka (J. Symb. Log., 2007)

Infinite games in the Cantor space and subsystems of second order arithmetic. - Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka (Math. Log. Q., 2007)