  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.
