On Interpretations of Arithmetic and Set Theory

Notre Dame Journal of Formal Logic 48 (4):497-510 (2007)
Abstract
This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed
Keywords Peano arithmetic   finite set theory   interpretations
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,772
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA
Richard Kaye & Tin Lok Wong (2010). Truth in Generic Cuts. Annals of Pure and Applied Logic 161 (8):987-1005.
Laurence Kirby (2010). Substandard Models of Finite Set Theory. Mathematical Logic Quarterly 56 (6):631-642.
Similar books and articles
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
Analytics

Monthly downloads

Added to index

2010-08-24

Total downloads

6 ( #210,201 of 1,099,564 )

Recent downloads (6 months)

4 ( #87,413 of 1,099,564 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.