The strength of Turing determinacy within second order arithmetic

• Autorzy: Antonio Montalbán , Richard A. Shore
• Języki publikacji: EN

Abstrakty

EN

We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.

Kategorie tematyczne

• 03B30: Foundations of classical theories (including reverse mathematics)
• 03F60: Constructive and recursive analysis
• 03F35: Second- and higher-order arithmetic and fragments
• 03D80: Applications of computability and recursion theory

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2016
• Tom: 232
• Numer: 3
• Strony: 249-268

Daty

wydano

2016

Twórcy

autor

Antonio Montalbán

• Department of Mathematics, University of California, Berkeley, Berkeley, CA 94720, U.S.A.

autor

Richard A. Shore

• Department of Mathematics, Cornell University, Ithaca, NY 14853, U.S.A.

Identyfikatory

DOI

10.4064/fm27-12-2015