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