Switch to: Citations

Add references

You must login to add references.
  1. Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • (1 other version)Recursively presentable prime models.Leo Harrington - 1974 - Journal of Symbolic Logic 39 (2):305-309.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)An introduction to recursively saturated and resplendent models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • (1 other version)An Introduction to Recursively Saturated and Resplendent Models.Jon Barwise & John Schlipf - 1982 - Journal of Symbolic Logic 47 (2):440-440.
    Download  
     
    Export citation  
     
    Bookmark   5 citations