The strength of the projective Martin conjecture
C. T. Chong, Wei Wang, Liang Yu · Fundamenta Mathematicae · 2009
We show that Martin's conjecture on $\Pi^1_1$ functions uniformly $\leq_T$-order preserving on a cone implies $\Pi^1_1$ Turing Determinacy over $\hbox{ZF}+{\hbox{DC}}$. In addition, it is also proved that for $n\ge 0$, this conjecture for uniformly degre