## 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
โฆ LIBER โฆ
Set theory and the construction of numbers
โ Scribed by Andersen R.
- Book ID
- 127404701
- Year
- 2007
- Tongue
- English
- Weight
- 847 KB
- Edition
- web draft
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
Modem mathematics is couched in the language and steeped in the theory of sets. Sets are the heart and soul of mathematics. Sets should be well understood by any serious student of the subject. What we attempt to do hero is to present the Zermelo Fraenkel Axioms for Set Theory and develop a model for those axioms. We call this model the number model, as our usual concept of numbers is a consequence of this model.
๐ SIMILAR VOLUMES
The natural numbers in constructive set
โ
Michael Rathjen
๐
Article
๐
2008
๐
John Wiley and Sons
๐
English
โ 191 KB
๐ 1 views
Rudimentary and arithmetical constructiv
โ
Aczel, Peter
๐
Article
๐
2013
๐
Elsevier Science
๐
English
โ 277 KB
Finite set theory, number theory and axi
โ
Kenneth R. Brown; Hao Wang
๐
Article
๐
1966
๐
Springer
๐
English
โ 264 KB
Set and numbers
โ
Jan S. Paul
๐
Article
๐
1963
๐
National Council of Teachers of Mathematics
โ 211 KB
Quotient topologies in constructive set
โ
Hajime Ishihara; Erik Palmgren
๐
Article
๐
2006
๐
Elsevier Science
๐
English
โ 196 KB
A Constructive Interpretation of the Ful
โ
Valentin F. Turchin
๐
Article
๐
1987
๐
Association for Symbolic Logic
๐
English
โ 699 KB