Arithmetical set theory

Studia Logica 50 (2):343 - 350 (1991)
  Copy   BIBTEX


It is well known that number theory can be interpreted in the usual set theories, e.g. ZF, NF and their extensions. The problem I posed for myself was to see if, conversely, a reasonably strong set theory could be interpreted in number theory. The reason I am interested in this problem is, simply, that number theory is more basic or more concrete than set theory, and hence a more concrete foundation for mathematics. A partial solution to the problem was accomplished by WTN in [2], where it was shown that a predicative set theory could be interpreted in a natural extension of pure number theory, PN, (i.e. classical first-order Peano Arithmetic). In this paper, we go a step further by showing that a reasonably strong fragment of predicative set theory can be interpreted in PN itself. We then make an attempt to show how to develop predicative fragments of mathematics in PN.If one wishes to know what is meant by reasonably strong and fragment please read on.



    Upload a copy of this work     Papers currently archived: 76,264

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

Notes on Logic and Set Theory.P. T. Johnstone - 1987 - Cambridge University Press.
Is any set theory true?Joseph S. Ullian - 1969 - Philosophy of Science 36 (3):271-279.
Issues in commonsense set theory.Mujdat Pakkan & Varol Akman - 1995 - Artificial Intelligence Review 8:279-308.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
What is required of a foundation for mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.
Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Naïve set theory is innocent!A. Weir - 1998 - Mind 107 (428):763-798.
Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.


Added to PP

24 (#483,107)

6 months
1 (#449,844)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
Number-theoretic set theories.Paul Strauss - 1985 - Notre Dame Journal of Formal Logic 26 (1):81-95.

Add more references