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)|
|Through your library||Configure|
Similar books and articles
Richard Pettigrew (2009). On Interpretations of Bounded Arithmetic and Bounded Set Theory. Notre Dame Journal of Formal Logic 50 (2):141-152.
Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
Charles Parsons (1987). Developing Arithmetic in Set Theory Without Infinity: Some Historical Remarks. History and Philosophy of Logic 8 (2):201-213.
Jeffrey W. Roland (2010). Concept Grounding and Knowledge of Set Theory. Philosophia 38 (1):179-193.
Wolfgang Burr (2002). Concepts and Aims of Functional Interpretations: Towards a Functional Interpretation of Constructive Set Theory. Synthese 133 (1-2):257 - 274.
Aldo Ursini (1978). On the Set of 'Meaningful' Sentences of Arithmetic. Studia Logica 37 (3):237 - 241.
Justus Diller (2008). Functional Interpretations of Constructive Set Theory in All Finite Types. Dialectica 62 (2):149–177.
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
Charles Sayward (2000). Remarks on Peano Arithmetic. Russell 20:27-32.
Lorenz Halbeisen & Saharon Shelah (1994). Consequences of Arithmetic for Set Theory. Journal of Symbolic Logic 59 (1):30-40.
Juliette Kennedy & Roman Kossak (eds.) (2012). Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press.
Kristina Engelhard & Peter Mittelstaedt (2008). Kant's Theory of Arithmetic: A Constructive Approach? [REVIEW] Journal for General Philosophy of Science 39 (2):245 - 271.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Harvey Friedman (1977). On the Derivability of Instantiation Properties. Journal of Symbolic Logic 42 (4):506-514.
Added to index2010-08-24
Total downloads2 ( #245,904 of 722,826 )
Recent downloads (6 months)1 ( #60,541 of 722,826 )
How can I increase my downloads?