Maths›03. Logic and Foundations12.2 Turing DegreesEquivalence classes of sets under Turing reducibility and the ordering of computational power.