Weak systems of determinacy and arithmetical quasi-inductive definitions

Philip D. Welch. Weak systems of determinacy and arithmetical quasi-inductive definitions. Journal of Symbolic Logic, 76(2):418-436, 2011. [doi]

Abstract

Abstract is missing.