多1度的一致Martin猜想
The uniform Martin's conjecture for many-one degrees
摘要：
本文研究了从实到实的函数，它们从图灵等价到多1等价是一致度不变的，并在锥上进行了比较。“我们证明了它们与Wadge度一一对应，这可以被看作是从图灵等价到图灵等价的一致不变函数的一致马丁猜想的改进。我们的证明工作在一般情况下的多1度的$\mathcal{Q}^ω$和Wadge度的功能$ω^ω\to\mathcal{Q}$任何更好的准序$\mathcal{Q}$。
英文摘要：
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}^ω$ and Wadge degrees of functions $ω^ω\to\mathcal{Q}$ for any better quasi ordering $\mathcal{Q}$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
