An Aristotelian notion of size

DOI10.1016/J.APAL.2006.01.008MaRDI QIDQ2433745zbMATH OpenOpenAlexFDO

Authors Vieri Benci, Mauro Di Nasso, Marco Forti

Publication date 30 October 2006

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2006.01.008

zbMATH Keywords

counting functionsnonstandard integersnumerosityordinals

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05)

Review text

Following the earlier attempt by \textit{V. Benci} and \textit{M. Di Nasso} [``Numerosities of labelled sets: A new way of counting, Adv. Math. 173, 50--67 (2003; Zbl 1028.03042)], the authors continue their quest for a reasonable notion of size for infinite sets that would satisfy Aristotle's Principle: If \(A\) is a proper subset of \(B\), then the size of \(A\) is strictly less than the size of \(B\). Four principles for a numerosity function assigning sizes from a discretely ordered ring to arbitrary sets of ordinals are identified, and it is shown that they imply Aristotle's Principle and invariance under translations and homotheties. A finite approximation method is developed to show that there is a numerosity function on the class of the sets of ordinals whose values are in the ring of hyperintegers in the sense of nonstandard analysis. The same method is used to extend the numerosity function to all sets. Numerosities are class objects, the problem of formalizing the results in ZFC is discussed. The paper concludes with a list of interesting open problems.

Recommendations

• Numerosities of point sets over the real line
• Set size and the part-whole principle
• scientific article; zbMATH DE number 2213630
• Natural numerosities of sets of tuples
• Measuring the size of infinite collections of natural numbers: was Cantor's theory of infinite number inevitable?

Cites work

• An Aristotelian notion of size
• Model theory.
• Numerosities of labelled sets: A new way of counting
• Set Theory

Cited in

(36)

• A note on the notion much bigger
• Voltaire's Micromégas: A philosophic Conte about scale
• Using grossone to count the number of elements of infinite sets and the connection with bijections
• Size and function
• Numerosities of labelled sets: A new way of counting
• Non-Archimedean probability
• The algorithmic numbers in non-Archimedean numerical computing environments
• An improved setting for generalized functions: fine ultrafunctions
• Some applications of numerosities in measure theory
• Probability for the revision theory of truth
• An Aristotelian notion of size
• L'infini numérique dans l'Arénaire d'Archimède
• Infinitesimal analysis. Part 2.
• Elementary numerosity and measures
• Numerosities of point sets over the real line
• 2007 Annual Meeting of the Association for Symbolic Logic
• An Euclidean measure of size for mathematical universes
• La proportionnalité des grandeurs dans la doctrine de la nature d'Aristote
• Quasi-selective ultrafilters and asymptotic numerosities
• Triangulating non-Archimedean probability
• The Dirac sea for the non-separable Hilbert spaces
• The Euclidean universe
• Magnums: counting sets with surreals
• Naturalness in mathematics
• In good company? On Hume's principle and the assignment of numbers to infinite concepts
• Set size and the part-whole principle
• Natural numerosities of sets of tuples
• scientific article; zbMATH DE number 2213630 (Why is no real title available?)
• Measuring the size of infinite collections of natural numbers: was Cantor's theory of infinite number inevitable?
• The logic of comparative cardinality
• Speech acts in mathematics
• EUCLIDEAN NUMBERS AND NUMEROSITIES
• Cantor's Abstractionism and Hume's Principle
• Sets and probability
• Bertrand's paradox is a paradox of infinity
• Generalized functions beyond distributions

This page was built for publication: An Aristotelian notion of size

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2433745)