Hyperarithmetical hierarchy

Redirect to:

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