A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
On Non-Standard Models of Peano Arithmetic and Tennenbaum's Theorem
[article]
2013
arXiv
pre-print
Throughout the course of mathematical history, generalizations of previously understood concepts and structures have led to the fruitful development of the hierarchy of number systems, non-euclidean geometry, and many other epochal phases in mathematical progress. In the study of formalized theories of arithmetic, it is only natural to consider the extension from the standard model of Peano arithmetic, 〈N,+,×,≤,0,1 〉, to non-standard models of arithmetic. The existence of non-standard models of
arXiv:1311.6375v1
fatcat:lunor2wjinhufkr2z563uouob4