Switch to: References

Add citations

You must login to add citations.
  1. The combinatorics of the splitting theorem.Kyriakos Kontostathis - 1997 - Journal of Symbolic Logic 62 (1):197-224.
    Download  
     
    Export citation  
     
    Bookmark  
  • A general framework for priority arguments.Steffen Lempp & Manuel Lerman - 1995 - Bulletin of Symbolic Logic 1 (2):189-201.
    The degrees of unsolvability were introduced in the ground-breaking papers of Post [20] and Kleene and Post [7] as an attempt to measure theinformation contentof sets of natural numbers. Kleene and Post were interested in the relative complexity of decision problems arising naturally in mathematics; in particular, they wished to know when a solution to one decision problem contained the information necessary to solve a second decision problem. As decision problems can be coded by sets of natural numbers, this question (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations