The uniform Martin’s conjecture for many-one degrees

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}$.

[1]  Jörg Brendle,et al.  Solovay-type characterizations for forcing-algebras , 1997, Journal of Symbolic Logic.

[2]  S. Stanton.  The Axiom of Determinacy , 2010 .

[3]  A. Scott,et al.  Ann Arbor , 1980 .

[4]  Dana S. Scott,et al.  The axiom of determinateness and reduction principles in the analytical hierarchy , 1968 .

[5]  William W. Wadge,et al.  Reducibility and Determinateness on the Baire Space , 1982 .

[6]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

[7]  John R. Steel.  A Classification of Jump Operator , 1982, J. Symb. Log..

[8]  A. Karimi,et al.  Master‟s thesis , 2011 .

[9]  P. Odifreddi.  The theory of functions and sets of natural numbers , 1989 .

[10]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[11]  Victor L. Selivanov,et al.  Hierarchies of Δ02‐measurable k ‐partitions , 2007, Math. Log. Q..

[12]  W. Hugh Woodin,et al.  The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal , 1999 .

[13]  A.B.J. Kuijlaars,et al.  Universality , 2002, Experimental Studies of Boson Fields in Solids.

[14]  C. M. Wagner.  On Martin's conjecture , 1982, Ann. Math. Log..

[15]  Nick Bezhanishvili,et al.  Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions , 2014 .

[16]  Jacques Duparc,et al.  The Steel hierarchy of ordinal valued Borel mappings , 2003, Journal of Symbolic Logic.

[17]  Hatria Decor Duomo.  Block , 2020, Definitions.

[18]  B. M. Fulk.  MATH , 1992 .

[19]  C. Nash-Williams.  On well-quasi-ordering infinite trees , 1963, Mathematical Proceedings of the Cambridge Philosophical Society.

[20]  Andrew S. Marks,et al.  Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations , 2011, 1109.1875.

[21]  Rodney G. Downey,et al.  There is no degree invariant half-jump , 1997 .

[22]  John R. Steel,et al.  Cabal Seminar 81–85 , 1988 .

[23]  Howard Becker,et al.  A characterization of jump operators , 1988, Journal of Symbolic Logic.

[24]  James E. Baumgartner.  Review: J. W. Addison, Yiannis N. Moschovakis, Some Consequences of the Axiom of Definable Determinateness; Donald A. Martin, The Axiom of Determinateness and Reduction Principles in the Analytical Hierarchy , 1973 .

[25]  Benedikt Löwe,et al.  Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II , 2011 .

[26]  Victor L. Selivanov.  Hierarchies of [ ... ] º 2-measurable k -partitions , 2007 .

[27]  Takayuki Kihara,et al.  On the structure of the Wadge degrees of bqo-valued Borel functions , 2019, Transactions of the American Mathematical Society.

[28]  P. Odifreddi.  Classical recursion theory , 1989 .

[29]  Galen Weitkamp,et al.  Recursive Aspects of Descriptive Set Theory , 1985 .

[30]  Fred Galvin,et al.  Borel sets and Ramsey's theorem , 1973, Journal of Symbolic Logic.

[31]  H. Gaifman,et al.  Symbolic Logic , 1881, Nature.

[32]  Robert van Wesep,et al.  Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Wadge degrees and descriptive set theory , 1978 .

[33]  Arnold W. Miller,et al.  Rigid Borel sets and better quasi-order theory , 1985 .

[34]  Chi Tat Chong,et al.  7 Classification of jump operators , 2015 .

[35]  Steffen Lempp,et al.  The computational complexity of torsion-freeness of finitely presented groups , 1997, Bulletin of the Australian Mathematical Society.

[36]  Anil Nerode,et al.  Reducibility orderings: Theories, definability and automorphisms☆ , 1980 .

[37]  Alain Louveau,et al.  On the Quasi-Ordering of Borel Linear Orders under Embeddability , 1990, J. Symb. Log..

[38]  Douglas Cenzer,et al.  Countable Thin Pi01 Classes , 1993, Ann. Pure Appl. Log..

[39]  Giorgio Audrito.  Forcing Axioms , 2012 .

[40]  P. Steerenberg,et al.  Targeting pathophysiological rhythms: prednisone chronotherapy shows sustained efficacy in rheumatoid arthritis. , 2010, Annals of the rheumatic diseases.

[41]  Theodore A. Slaman,et al.  Definable functions on degrees , 1988 .

[42]  Emil L. Post,et al.  The Upper Semi-Lattice of Degrees of Recursive Unsolvability , 1954 .

[43]  Jacques Duparc,et al.  Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank , 2001, Journal of Symbolic Logic.

[44]  Leo Harrington,et al.  On the determinacy of games on ordinals , 1981 .

[45]  Andrew S. Marks.  Uniformity, universality, and computability theory , 2017, J. Math. Log..

[46]  A. Tarski,et al.  On Families of Mutually Exclusive Sets , 1943 .