Skip to main content
2 of 2
added 37 characters in body
Noah Schweber
  • 20.7k
  • 10
  • 111
  • 332

Diamondstone, Greenberg and I showed that there is a structure with spectrum precisely the array non-computable degrees. Since this contains a minimal pair, its cospectrum is just the computable reals. Every A.N.C. computes an escaping function, but they do not all compute dominating functions, so this structure is self-escaping but not self-dominating.

Edit: Prior to that, Csima and Kalimullin showed that there's a structure with spectrum precisely the hyperimmune degrees, which will also do.

Dan Turetsky
  • 3.1k
  • 16
  • 27