Determinacy and Fast-growing Sequences of Turing Degrees
Logic
2016-12-15 v1
Abstract
We discuss sufficiently fast-growing sequences of Turing degrees. The key result is that, assuming sufficient determinacy, if is a formula with one free variable, and S and T are sufficiently fast-growing sequences of Turing degrees of length , then . We also define degrees for subsets of analogous to Turing degrees, and prove that under sufficient determinacy and CH, all sufficiently high degrees are also effectively indistinguishable.
Cite
@article{arxiv.1612.04494,
title = {Determinacy and Fast-growing Sequences of Turing Degrees},
author = {Dmytro Taranovsky},
journal= {arXiv preprint arXiv:1612.04494},
year = {2016}
}
Comments
6 pages; see ancillary files for the original MathJax/html