Hyperarithmetical hierarchy
Redirect to:
Hyperarithmetical theory#Hyperarithmetical sets and iterated Turing jumps: the hyperarithmetical hierarchy