Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 48, Number 4 (2007), 497-510.
On Interpretations of Arithmetic and Set Theory
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.
Notre Dame J. Formal Logic, Volume 48, Number 4 (2007), 497-510.
First available in Project Euclid: 29 October 2007
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Kaye, Richard; Wong, Tin Lok. On Interpretations of Arithmetic and Set Theory. Notre Dame J. Formal Logic 48 (2007), no. 4, 497--510. doi:10.1305/ndjfl/1193667707. https://projecteuclid.org/euclid.ndjfl/1193667707