The natural numbers in constructive set theory |
| |
Authors: | Michael Rathjen |
| |
Affiliation: | Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England |
| |
Abstract: | Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various weak constructive set theories. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
Keywords: | Constructive set theory natural number object recursively saturated models functional interpretation proof‐theoretic strength |
|
|