S. K. Thomason A Theorem on Initial Segments of Degrees. 41-45 1970 35 J. Symb. Log. 1 db/journals/jsyml/jsyml35.html#Thomason70