Abstract
It is well known that in any nonstandard model of (Peano arithmetic) neither addition nor multiplication is recursive. In this paper we focus on the recursiveness of unary functions and find several pairs of unary functions which cannot be both recursive in the same nonstandard model of (e.g., , , and ). Furthermore, we prove that for any computable injection , there is a nonstandard model of in which is recursive.
Citation
Sakae Yaegasi. "Tennenbaum's Theorem and Unary Functions." Notre Dame J. Formal Logic 49 (2) 177 - 183, 2008. https://doi.org/10.1215/00294527-2008-006
Information