The strength of Turing determinacy within second order arithmetic
Antonio Montalbán; Richard A. Shore
Fundamenta Mathematicae (2016)
- Volume: 232, Issue: 3, page 249-268
- ISSN: 0016-2736
Access Full Article
top
Abstract
topHow to cite
topAntonio Montalbán, and Richard A. Shore. "The strength of Turing determinacy within second order arithmetic." Fundamenta Mathematicae 232.3 (2016): 249-268. <http://eudml.org/doc/283369>.
@article{AntonioMontalbán2016,
abstract = {We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.},
author = {Antonio Montalbán, Richard A. Shore},
journal = {Fundamenta Mathematicae},
keywords = {Turing determinacy; reverse mathematics},
language = {eng},
number = {3},
pages = {249-268},
title = {The strength of Turing determinacy within second order arithmetic},
url = {http://eudml.org/doc/283369},
volume = {232},
year = {2016},
}
TY - JOUR
AU - Antonio Montalbán
AU - Richard A. Shore
TI - The strength of Turing determinacy within second order arithmetic
JO - Fundamenta Mathematicae
PY - 2016
VL - 232
IS - 3
SP - 249
EP - 268
AB - We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
LA - eng
KW - Turing determinacy; reverse mathematics
UR - http://eudml.org/doc/283369
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.