|
|||||
|
|
The natural numbers in constructive set theory |
|
| Authors: | Michael Rathjen |
| Institution: | 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 |