The Recursively Enumerable Degrees have Infinitely Many One-Types

Klaus Ambos-Spies, Robert I. Soare. The Recursively Enumerable Degrees have Infinitely Many One-Types. Annals of Pure and Applied Logic, 44(1-2):1-23, 1989.

Abstract

Abstract is missing.