Highly Influenced

# On Interpretations of Arithmetic and Set Theory

@article{Kaye2007OnIO, title={On Interpretations of Arithmetic and Set Theory}, author={Richard Kaye and Tin Lok Wong}, journal={Notre Dame Journal of Formal Logic}, year={2007}, volume={48}, pages={497-510} }

- Published 2007 in Notre Dame Journal of Formal Logic
DOI:10.1305/ndjfl/1193667707

This would make an excellent starting point for any beginning research student working in the area of models of Peano arithmetic, since an understanding of how these interpretations work enables all coding techniques from set theory to be employed in arithmetic in a uniform way, and also places PA ‘on the map’ (in the sense of consistency and interpretation strength) relative to set theory. This, combined with the lack of suitable references, permits us, we trust, to omit any apology for… CONTINUE READING