Switch to: Citations

Add references

You must login to add references.
  1. Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
    CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  • Construction of models for algebraically generalized recursive function theory.H. R. Strong - 1970 - Journal of Symbolic Logic 35 (3):401-409.
    The Uniformly Reflexive Structure was introduced by E. G. Wagner who showed that the theory of such structures generalized much of recursive function theory. In this paper Uniformly Reflexive Structures are constructed as factor algebras of Free nonassociative algebras. Wagner's question about the existence of a model with no computable splinter ("successor set") is answered in the affirmative by the construction of a model whose only computable sets are the finite sets and their complements. Finally, for each countable Boolean algebra (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
  • Some Reasons for Generalizing Recursion Theory.G. Kreisel, R. O. Gandy & C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations