Computability hierarchies and degrees: Mathematical Logic course | Zoonk
30. Computability hierarchies and degrees
Studies the arithmetical hierarchy, analytical hierarchy, Turing degrees, oracle computation, and relative computability. Learners classify sets by quantifier complexity and compare different degrees of unsolvability.