There is a fascinating interplay and overlap between recursion theory and
descriptive set theory. A particularly beautiful source of such interaction has
been Martin's conjecture on Turing invariant functions. This longstanding open
problem in recursion theory has connected to many problems in descriptive set
theory, particularly in the theory of countable Borel equivalence relations.