RELATIVE TO ANY NON-HYPERARITHMETIC SET
Noam Greenberg, Antonio Montalbán, Theodore A. Slaman · Journal of Mathematical Logic · 2012
We prove that there is a structure, indeed a linear ordering, whose degree spectrum is the set of all non-hyperarithmetic degrees. We also show that degree spectra can distinguish measure from category.