pith. machine review for the scientific record.
sign in

arxiv: 1608.05065 · v1 · pith:CGP4KYCPnew · submitted 2016-08-17 · 🧮 math.LO

The uniform Martin's conjecture for many-one degrees

classification 🧮 math.LO
keywords degreesfunctionsmany-onemathcalomegaconjecturemartinreals
0
0 comments X
read the original 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 $\mathcal{Q}^\omega$ and Wadge degrees of functions $\omega^\omega\to\mathcal{Q}$ for any better quasi ordering $\mathcal{Q}$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.