A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Countable Initial Segments of the Degrees of Unsolvability
1976
Journal of Symbolic Logic (JSL)
The problem of identifying the order types of the countable initial segments of the degrees of unsolvability was first tackled by Clifford Spector more than 20 years ago, and has since given rise to a series of papers, In this thesis a complete characterization of these order types is given by proving the following theorem: any countable upper semilattice with least element can be embedded as an initial segment of the degrees. '12 mes parents."
doi:10.2307/2272227
fatcat:k3dkdsdxvfat3j2djg2omdtnx4