Switch to: Citations

Add references

You must login to add references.
  1. Constructions by transfinitely many workers.Julia F. Knight - 1990 - Annals of Pure and Applied Logic 48 (3):237-259.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Stability of recursive structures in arithmetical degrees.C. J. Ash - 1986 - Annals of Pure and Applied Logic 32:113-135.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Ramified systems.C. J. Ash & J. F. Knight - 1994 - Annals of Pure and Applied Logic 70 (3):205-221.
    Download  
     
    Export citation  
     
    Bookmark   8 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  
  • (1 other version)Pairs of recursive structures.C. J. Ash & J. F. Knight - 1990 - Annals of Pure and Applied Logic 46 (3):211-234.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Labelling systems and R.E. structures.C. J. Ash - 1990 - Annals of Pure and Applied Logic 47 (2):99-119.
    Download  
     
    Export citation  
     
    Bookmark   15 citations