The homogeneity conjecture

Proc Natl Acad Sci U S A. 1979 Sep;76(9):4218-9. doi: 10.1073/pnas.76.9.4218.

Abstract

We show that, for any function f in which Kleene's O is computable, the ordering of Turning degrees (i.e., degrees of difficulty of computation of functions) is not isomorphic to the ordering of degrees of functions from which f is computable. This refutes a well-known conjecture of H. Rogers, Jr., and others.