Switch to: Citations

Add references

You must login to add references.
  1. Number Theoretic Concepts and Recursive Well-Orderings.G. Kreisel, J. Shoenfield & Hao Wang - 1966 - Journal of Symbolic Logic 31 (3):511-512.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • The method of alternating chains.J. W. Addison - 1965 - In The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 1--16.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Number theoretic concepts and recursive well-orderings.G. Kreisel, J. Shoenfield & Hao Wang - 1960 - Archive for Mathematical Logic 5 (1-2):42-64.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A note on many·one reducibility.Shih-Chao Liu - 1963 - Journal of Symbolic Logic 28 (1):35-42.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):239-254.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Zur Theorie der Konstruktiven Wohlordnungen.Werner Markwald - 1955 - Journal of Symbolic Logic 20 (3):283-283.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Mathematical Logic Quarterly 20 (13‐18):239-254.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A note on many·one reducibility.Shih-Chao Liu - 1963 - Journal of Symbolic Logic 28 (2):143-153.
    Download  
     
    Export citation  
     
    Bookmark   3 citations