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) |
DOI | 10.1305/ndjfl/1193667707 |
Options |
Save to my reading list
![]() ![]() |


No references found.

The Strength of Extensionality II—Weak Weak Set Theories Without Infinity.Kentaro Sato - 2011 - Annals of Pure and Applied Logic 162 (8):579-646.
Substandard Models of Finite Set Theory.Laurence Kirby - 2010 - Mathematical Logic Quarterly 56 (6):631-642.
Every Countable Model of Set Theory Embeds Into its Own Constructible Universe.Joel David Hamkins - 2013 - Journal of Mathematical Logic 13 (2):1350006.
View all 7 citations / Add more citations

On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory.Richard Pettigrew - 2010 - Cahiers du Centre de Logique 17:99-118.
Developing Arithmetic in Set Theory Without Infinity: Some Historical Remarks.Charles Parsons - 1987 - History and Philosophy of Logic 8 (2):201-213.
Concept Grounding and Knowledge of Set Theory.Jeffrey W. Roland - 2010 - Philosophia 38 (1):179-193.
Concepts and Aims of Functional Interpretations: Towards a Functional Interpretation of Constructive Set Theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.
On the Set of 'Meaningful' Sentences of Arithmetic.Aldo Ursini - 1978 - Studia Logica 37 (3):237 - 241.
Functional Interpretations of Constructive Set Theory in All Finite Types.Justus Diller - 2008 - Dialectica 62 (2):149–177.
Consequences of Arithmetic for Set Theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies.Juliette Kennedy & Roman Kossak (eds.) - 2012 - Cambridge University Press.
Kant's Theory of Arithmetic: A Constructive Approach? [REVIEW]Kristina Engelhard & Peter Mittelstaedt - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (2):245 - 271.
On the Derivability of Instantiation Properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
Added to PP index
2010-08-24
Total downloads
25 ( #227,728 of 2,223,812 )
Recent downloads (6 months)
9 ( #50,825 of 2,223,812 )
2010-08-24
Total downloads
25 ( #227,728 of 2,223,812 )
Recent downloads (6 months)
9 ( #50,825 of 2,223,812 )
How can I increase my downloads?
Monthly downloads
