English

The uniform Martin's conjecture for many-one degrees

Logic 2016-08-18 v1

Abstract

We study functions from reals to reals which are uniformly degree-invariant from Turing-equivalence to many-one equivalence, and compare them "on a cone." We prove that they are in one-to-one correspondence with the Wadge degrees, which can be viewed as a refinement of the uniform Martin's conjecture for uniformly invariant functions from Turing- to Turing-equivalence. Our proof works in the general case of many-one degrees on Qω\mathcal{Q}^\omega and Wadge degrees of functions ωωQ\omega^\omega\to\mathcal{Q} for any better quasi ordering Q\mathcal{Q}.

Keywords

Cite

@article{arxiv.1608.05065,
  title  = {The uniform Martin's conjecture for many-one degrees},
  author = {Takayuki Kihara and Antonio Montalbán},
  journal= {arXiv preprint arXiv:1608.05065},
  year   = {2016}
}
R2 v1 2026-06-22T15:22:40.648Z