Degrees of Unsolvability: A Survey of Results

This publication has 35 references indexed in Scilit:

• A degree-theoretic definition of the ramified analytical hierarchy
  Annals of Mathematical Logic, 1976
• The Boolean algebra of logic
  Bulletin of the American Mathematical Society, 1975
• Minimal degrees and the jump operator
  The Journal of Symbolic Logic, 1973
• Degrees in Which the Recursive Sets are Uniformly Recursive
  Canadian Journal of Mathematics, 1972
• The fine structure of the constructible hierarchy
  Annals of Mathematical Logic, 1972
• A recursion-theoretic characterization of the ramified analytical hierarchy
  Transactions of the American Mathematical Society, 1969
• Degrees of unsolvability of constructible sets of integers
  The Journal of Symbolic Logic, 1969
• A criterion for completeness of degrees of unsolvability
  The Journal of Symbolic Logic, 1957
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
  Proceedings of the National Academy of Sciences, 1957
• Consistency-Proof for the Generalized Continuum-Hypothesis
  Proceedings of the National Academy of Sciences, 1939