Let PN be pure number theory, i.e. first-order Peano arithmetic. By a number-theoretic set theory, we mean a system of set theory which is a natural extension of PN, and where all variables range over the natural numbers. For most of the systems considered, a recursive rule of infinite induction, rule W, appears to be necessary. Because of rule W, these systems avoid Gödel constructions of undecidable sentences, yet have a good degree of formality. The systems WTN and WSN are of particular concern and are shown to be mutually interpretable with WR, i.e. ramified analysis plus rule W. We consider, for WTN, ordinal, cardinal, and real numbers. We prove that all sets are countable and establish the axiom of choice. For real numbers we discuss difficulties with treating Lebesgue measure theory in the standard way, and indicate ways of possibly remedying the situation. Finally, we consider arithmetical set theory, AS, which is PN itself.
- Arithmetical set theory
- Real set theory
- scientific article; zbMATH DE number 4204330 (Why is no real title available?)
- KORSELT NUMBERS AND SETS
- scientific article; zbMATH DE number 3928989 (Why is no real title available?)
- On equality and natural numbers in Cantor-Łukasiewicz set theory
- The natural numbers in constructive set theory
- A complete theory of natural, rational, and real numbers
This page was built for publication: Number-theoretic set theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762482)
