Turing degree
= Turing degree
{c}
{wiki}
The Turing degree of a set is its equivalence class under mutual <Turing reducibility>. Degrees inherit the partial order induced by Turing reducibility. The <Friedberg–Muchnik theorem> gives incomparable degrees represented by <computably enumerable sets>.