Numerosities of labelled sets: A new way of counting
type: Item
instance of: scholarly article
title: Numerosities of labelled sets: A new way of counting
zbMATH Open document ID: 1028.03042
DOI: 10.1016/S0001-8708(02)00012-9
author: Vieri Benci
author: Mauro Di Nasso
published in: Advances in Mathematics
publication date: 2003-03-26T00:00:00Z
review text: In mathematics, it is very important to develop the mathematical theory of quantities (magnitudes). Classical theory was mainly developed by German and Italian mathematicians in the 19th century. Following the progress of mathematics, many new facts have been appended to this field. In this paper, the authors consider the case of counting. For counting we need some basic restrictions to characterize the concept of quantities, namely we must suppose that the range of the counting function \(\nu\) is a linearly ordered set. (1) If sets \(A\) and \(B\) are in one-to-one correspondence, then the counting results \(\nu(A)\), \(\nu(B)\) are the same. (2) If \(A\) is a proper subset of \(B\), then properly \(\nu(A) <\nu(B)\). The conditions needed are (3) the finite additivity of \(\nu\) and (4) \(\nu(A)= \nu(A')\), \(\nu(B)= \nu(B')\to\nu (A\times B)= \nu(A' \times B')\). The most interesting result in this paper is Theorem 4.3: such a counting function exists \(\Leftrightarrow\) there exists a selective ultrafilter. By a selective ultrafilter, we mean: let \({\mathcal U}\) be a nonprincipal ultrafilter on \(\mathbb{N}\). Then for any countably infinite partion \(\{X_n:n \in\mathbb{N}\}\) with \(X_n\notin {\mathcal U}\), there exists a selective set \(X \in {\mathcal U}\) that each \(X\cap X_n\) contains at most one element. The authors give three statements which are equivalent to the existence of a selective ultrafilter. From this result, we have an exciting result: The existence of counting functions is independent of ZFC.
Mathematics Subject Classification ID: 03E65
Mathematics Subject Classification ID: 03C20
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03H05
zbMATH DE Number: 1888335
zbMATH Keywords: ultraproduct
zbMATH Keywords: numerosity
zbMATH Keywords: independence
zbMATH Keywords: quantities
zbMATH Keywords: counting function
zbMATH Keywords: selective ultrafilter
reviewed by: Kiyoshi Iseki
MaRDI profile type: Publication
cites work: Q4377601
cites work: Ultrafilters on a countable set
cites work: Q4499126
cites work: Alpha-theory: An elementary axiomatics for nonstandard analysis
cites work: The Rudin-Keisler Ordering of P-Points
cites work: Model theory.
cites work: Q4132530
cites work: Q4552736
cites work: Q4893101
cites work: Q4218534
cites work: Q3708229
cites work: Q3852172
cites work: Some points in βN
cites work: Q4104164
description: scientific article; zbMATH DE number 1888335