A degree theoretic definition of the ramified analytical hierarchy (1976)

by S G SIMPSON
Venue:Annals of Math. Logic