The Turing degrees and the metadegrees have isomorphic cones (1980)

by Sy D Friedman
Venue:In Patras Logic Symposion (Patras