๐”– Bobbio Scriptorium
โœฆ   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

## 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

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