The strength of Turing determinacy within second order arithmetic
Volume 232 / 2016
Fundamenta Mathematicae 232 (2016), 249-268
MSC: Primary 03B30, 03D80, 03F60, 03F35.
DOI: 10.4064/fm27-12-2015
Published online: 2 December 2015
Abstract
We investigate the reverse mathematical strength of Turing determinacy up to $\Sigma _{5}^{0}$, which is itself not provable in second order arithmetic.