A+ CATEGORY SCIENTIFIC UNIT

The strength of Turing determinacy within second order arithmetic

Volume 232 / 2016

Antonio Montalbán, Richard A. Shore 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.

Authors

  • Antonio MontalbánDepartment of Mathematics
    University of California, Berkeley
    Berkeley, CA 94720, U.S.A.
    e-mail
  • Richard A. ShoreDepartment of Mathematics
    Cornell University
    Ithaca, NY 14853, U.S.A.
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image