Lecture notes series, Institute For Mathematical Sciences · 2008 · 10 citations · 15 references
Natural SciencesMathematicsLogicTheory Of ComputationTopologyComputability TheoryTuring Degrees
We present a summary of the lectures delivered to the Institute for Mathematical Sciences, Singapore, during the 2005 Summer School in Mathematical Logic. The lectures covered topics on the global structure of the Turing degrees D, the countability of its automorphism group, and the definability of the Turing jump within D.
15
The Upper Semi-Lattice of Degrees of Recursive Unsolvability
S. C. Kleene, Emil L. Post · Annals of Mathematics · 1954 · 276 citations
On Degrees of Recursive Unsolvability
Clifford Spector · Annals of Mathematics · 1956 · 199 citations
A criterion for completeness of degrees of unsolvability
R. Friedberg · Journal of Symbolic Logic · 1957 · 113 citations
David B. Posner, Robert W. Robinson · Journal of Symbolic Logic · 1981 · 87 citations