On interpretations of bounded arithmetic and bounded set theory

Notre Dame Journal of Formal Logic 50 (2):141-152 (2009)
  Copy   BIBTEX


In 'On interpretations of arithmetic and set theory', Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic.

THEOREM 1 The first-order theories of Peano arithmetic and Zermelo-Fraenkel set theory with the axiom of infinity negated are bi-interpretable.

In this note, I describe a theory of sets that is bi-interpretable with the theory of bounded arithmetic IDelta0 + exp. Because of the weakness of this theory of sets, I cannot straightforwardly adapt Kaye and Wong's interpretation of the arithmetic in the set theory. Instead, I am forced to produce a different interpretation.



    Upload a copy of this work     Papers currently archived: 83,944

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

147 (#100,674)

6 months
2 (#330,166)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Pettigrew
Bristol University

Citations of this work

Bounded finite set theory.Laurence Kirby - 2021 - Mathematical Logic Quarterly 67 (2):149-163.
Constructive Ackermann's interpretation.Hanul Jeon - 2022 - Annals of Pure and Applied Logic 173 (5):103086.

Add more citations

References found in this work

Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Die Widerspruchsfreiheit der Allgemeinen Mengenlehre.Wilhelm Ackerman - 1937 - Journal of Symbolic Logic 2 (4):167-167.

Add more references