1 paper · 1 filter
Patrick Lutz, Benjamin Siskind
Martin's Conjecture is a proposed classification of the definable functions on the Turing degrees. It is usually divided into two parts, the first of which classifies functions whi…