On the Definability of the double jump in the computably Enumerable Sets

Peter A. Cholak, Leo Harrington. On the Definability of the double jump in the computably Enumerable Sets. J. Mathematical Logic, 2(2), 2002. [doi]

Abstract

Abstract is missing.