1 paper · 1 filter
Antonio Nakid Cordero
Martin's Conjecture states that every definable function on the Turing degrees is either constant or increasing, and that every increasing function is an iterate of the Turing jump…