Klaus Ambos-Spies Robert I. Soare The Recursively Enumerable Degrees have Infinitely Many One-Types. 1-23 1989 44 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal44.html#Ambos-SpiesS89