On the definability of the double jump in the computably enumerable sets (2002)

by Peter A. Cholak , Leo A. Harrington
Venue:J. MATH. LOG
Citations:9 - 5 self