Strong Reductions between Relatives of the Stable Ramsey's Theorem
Logic
2017-11-20 v1
Abstract
A complete analysis is given of the computable reductions that hold between , , and . In particular, while , it is shown that .
Cite
@article{arxiv.1711.06532,
title = {Strong Reductions between Relatives of the Stable Ramsey's Theorem},
author = {David Nichols},
journal= {arXiv preprint arXiv:1711.06532},
year = {2017}
}