Abstract
In contrast to Tennenbaum's theorem asserting that there are no nonstandard models of Peano Arithmetic in which either addition or multiplication is recursive, the result here is that there is a nonstandard model of Peano Arithmetic having a recursive divisibility poset and a recursive divisibility lattice.
Citation
James H. Schmerl. "Recursive Models and the Divisibility Poset." Notre Dame J. Formal Logic 39 (1) 140 - 148, Winter 1998. https://doi.org/10.1305/ndjfl/1039293026
Information