Mathematical Logic Quarterly 54 (1):83-97 (2008)

Michael Rathjen
University of Leeds
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
Keywords natural number object  recursively saturated models  proof‐theoretic strength  Constructive set theory  functional interpretation
Categories (categorize this paper)
DOI 10.1002/malq.200710036
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,447
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Constructive Set Theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Fixed Points in Peano Arithmetic with Ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
Functional Interpretation of Aczel's Constructive Set Theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.

Add more references

Citations of this work BETA

Rudimentary and Arithmetical Constructive Set Theory.Peter Aczel - 2013 - Annals of Pure and Applied Logic 164 (4):396-415.
Set Theory: Constructive and Intuitionistic Zf.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

A Note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
The Strength of Some Martin-Löf Type Theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.


Added to PP index

Total views
11 ( #755,904 of 2,326,368 )

Recent downloads (6 months)
1 ( #644,397 of 2,326,368 )

How can I increase my downloads?


My notes