Switch to: References

Citations of:

The priority method for the construction of recursively enumerable sets

In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 299--310 (1973)

Add citations

You must login to add citations.
  1. Priority constructions.J. R. Shoenfield - 1996 - Annals of Pure and Applied Logic 81 (1-3):115-123.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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