Abstract
We investigate homomorphic images of the semiring of recursive functions as models of the Π2 fragment of Arithmetic, and some relations between this fragment, its models and recursion theory.
Similar content being viewed by others
References
S. Feferman, D. Scott and S. Tennenbaum.Models of arithmetic through function rings, Notices of the Amer. Math. Soc.173 (1959).
H. Gaifman,A note on models and submodels of arithmetic, Conference in Mathematical Logic, London, 1970, Springer Verlag 1972, pp. 128–144.
J. Hirschfeld,Models of Arithmetic and the semiring of recursive functions, Victoria Symposium on Non-Standard Analysis, Spring Verlag, 1974, pp. 99–105.
H. J. Keisler,Limit ultrapowers, Trans. Amer. Math. Soc.107 (1972), 382–408.
M. eerman, Doctoral Dissertation, Cornell University, (1968).
M. Lerman,Recursive functions modulo co-r-maximal sets, Trans. Amer. Math. Soc.148 (1970), 429–444.
Yu. V. Matijasevic,Diophantine representation of recursively enumerable predicates Proceeding of the second Scandinavian logic symposium, North-Holland (1971).
A. Robinson,Model theory and non-standard arithmetic, Infinitistic methods, Proceeding of the symposium in Warsaw (1959), 265–302.
J. R. Shonfield,Mathematical logic, Addison-Weseley, 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hirschfeld, J. Models of Arithmetic and recursive functions. Israel J. Math. 20, 111–126 (1975). https://doi.org/10.1007/BF02757881
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02757881