The Undecidability of the Recursively Enumerable Degrees (0)

by L Harrington, S Shelah
Venue:Bulletin of the American Mathematical Society