1984], The Elementary Theory of the Recursively Enumerable Degrees is not ℵ0-categorical (0)

by M Lerman, R A Shore, R I Soare
Venue:Advances in Mathematics 53