On the limits of comparing subset sizes within $\mathbb{N}$
Abstract
We review and compare five ways of assigning totally ordered sizes to subsets of the natural numbers: cardinality, infinite lottery logic with mirror cardinalities, natural density, generalised density, and $\alpha$-numerosity. Generalised densities and $\alpha$-numerosities lack uniqueness, which can be traced to intangibles: objects that can be proven to exist in ZFC while no explicit example of them can be given. As a sixth and final formalism, we consider a recent proposal by \citet{Trlifajova:2024}, which we call c-numerosity. It is fully constructive and uniquely determined, but assigns merely partially ordered numerosity values. By relating all six formalisms to each other in terms of the underlying limit operations, we get a better sense of the intrinsic limitations in determining the sizes of subsets of $\mathbb{N}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2024
- DOI:
- 10.48550/arXiv.2408.03344
- arXiv:
- arXiv:2408.03344
- Bibcode:
- 2024arXiv240803344W
- Keywords:
-
- Mathematics - Logic;
- 00A30;
- 03A05;
- 11B05;
- 03H05;
- 28E15;
- 03E25;
- 03F65
- E-Print:
- 35 pages, 3 figures, and 2 tables. Forthcoming in the inaugural volume of the Journal for the Philosophy of Mathematics