Models of Arithmetic and recursive functions
- 1 June 1975
- journal article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 20 (2) , 111-126
- https://doi.org/10.1007/bf02757881
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Models of arithmetic and the semi-ring of recursive functionsPublished by Springer Nature ,1974
- A note on models and submodels of arithmeticPublished by Springer Nature ,1972
- Diophantine Representation of Recursively Enumerable PredicatesPublished by Elsevier ,1971
- Limit ultrapowersTransactions of the American Mathematical Society, 1963