Minimal Covers and Hyperdegreesf1 )

@inproceedings{Simpson2010MinimalCA,
  title={Minimal Covers and Hyperdegreesf1 )},
  author={Stephen G. Simpson},
  year={2010}
}
Every hyperdegree at or above that of Kleene's O is the hyperjump and the supremum of two minimal hyperdegrees (Theorem 3.1). There is a nonempty ~ZX class of number-theoretic predicates each of which has minimal hyperdegree (Theorem 4.7). If V = L or a generic extension of L, then there are arbitrarily large hyperdegrees which are not minimal over any… CONTINUE READING