Working below a high recursively enumerable degree (1993)

by Richard A Shore, Theodore A Slaman
Venue:J. Symbolic Logic