1982], The undecidability of the recursively enumerable degrees (research announcement (0)

by L Harrington, S Shelah