Weak systems of determinacy and arithmetical quasi-inductive definitions - P. D. Welch (2009)