Properties of the jump classes
Andrew E. M. Lewis · Journal of Logic and Computation · 2010
We describe a programme of research which aims to find natural definability results in the Turing degrees through a systematic analysis of the order theoretic properties satisfied by the degrees in each jump class.