Elementary numerosity and measures

DOI10.4115/JLA.2014.6.3MaRDI QIDQ2930873zbMATH OpenOpenAlexFDO

Authors Vieri Benci, Emanuele Bottazzi, Mauro Di Nasso

Publication date 20 November 2014

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1212.6201

zbMATH Keywords

measure theorynonstandard analysisnon-Archimedean mathematicsnumerosities.

Mathematics Subject Classification ID

Axioms; other general questions in probability (60A05) Non-Archimedean analysis (26E30) Nonstandard analysis (26E35) Other connections with logic and set theory (28E15)

Abstract: In this paper we introduce the notion of elementary numerosity as a special function defined on all subsets of a given set X which takes values in a suitable non-Archimedean field, and satisfies the same formal properties of finite cardinality. We investigate the relationships between this notion and the notion of measure. The main result is that every non-atomic finitely additive measure is obtained from a suitable elementary numerosity by simply taking its ratio to a unit. In the last section we give applications to this result.

Recommendations

• Numerosities of point sets over the real line
• Natural numerosities of sets of tuples
• An Aristotelian notion of size
• An Euclidean measure of size for mathematical universes
• Numerosities of labelled sets: A new way of counting

Cites work

• scientific article; zbMATH DE number 1222940 (Why is no real title available?)
• scientific article; zbMATH DE number 1163400 (Why is no real title available?)
• An Aristotelian notion of size
• An introduction to the theory of numbers. Edited and revised by D. R. Heath-Brown and J. H. Silverman. With a foreword by Andrew Wiles
• Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
• Numerosities of labelled sets: A new way of counting
• Numerosities of point sets over the real line
• On generalized limits and linear functionals
• On the Nonstandard Representation of Measures
• Real analysis. Theory of measure and integration
• Some applications of numerosities in measure theory

Cited in

(12)

• A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\)
• Germ order for one-dimensional packings
• On mathematical realism and applicability of hyperreals
• Some applications of numerosities in measure theory
• One-dimensional packing: maximality implies rationality
• Symmetry arguments against regular probability: a reply to recent objections
• Numerosities of labelled sets: A new way of counting
• Integration with filters
• Measuring the Abundancy of Integers
• An Euclidean measure of size for mathematical universes
• EUCLIDEAN NUMBERS AND NUMEROSITIES
• Arithmetical Measure

This page was built for publication: Elementary numerosity and measures

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