## 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 โฆ
TheDefinabilityof the set of natural numbers in the 1925Principia Mathematica
โ Scribed by Gregory Landini
- Publisher
- Springer Netherlands
- Year
- 1996
- Tongue
- English
- Weight
- 926 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0022-3611
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
The natural numbers in constructive set
โ
Michael Rathjen
๐
Article
๐
2008
๐
John Wiley and Sons
๐
English
โ 191 KB
๐ 1 views
Separation axioms and partitions of the
โ
N. Kh. Kasymov
๐
Article
๐
1993
๐
SP MAIK Nauka/Interperiodica
๐
English
โ 301 KB
Computability of Real Numbers by Using a
โ
Dimiter Skordev
๐
Article
๐
2002
๐
John Wiley and Sons
๐
English
โ 226 KB
๐ 2 views
On the set of natural numbers which only
โ
Richard Warlimont
๐
Article
๐
1985
๐
Elsevier Science
๐
English
โ 289 KB
Density of sets of natural numbers and t
โ
Melvyn B. Nathanson; Rohit Parikh
๐
Article
๐
2007
๐
Elsevier Science
๐
English
โ 112 KB
Let N denote the set of positive integers. The asymptotic density of the set /n, if this limit exists. Let AD denote the set of all sets of positive integers that have asymptotic density, and let S N denote the set of all permutations of the positive integers N. The group L consists of all permutat
The Complexity of Membership Problems fo
โ
Pierre McKenzie; Klaus W. Wagner
๐
Article
๐
2007
๐
Springer
๐
English
โ 404 KB