Hyperarithmetical reducibility

Redirect to:

• Hyperarithmetical theory#Relativized hyperarithmeticity and hyperdegrees