English

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 ϕ\phi is a formula with one free variable, and S and T are sufficiently fast-growing sequences of Turing degrees of length ω1\omega_1, then ϕ(S)    ϕ(T)\phi(S) \iff \phi(T). We also define degrees for subsets of ω1\omega_1 analogous to Turing degrees, and prove that under sufficient determinacy and CH, all sufficiently high degrees are also effectively indistinguishable.

Keywords

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

R2 v1 2026-06-22T17:23:09.935Z