Cohesive sets and recursively enumerable Dedekind cuts (1969)

by R Soare
Venue:Pacific J. Math