Several different versions of the theory of numerosities have been introduced in the literature. Here, we unify these approaches in a consistent frame through the notion of set of labels, relating numerosities with the Kiesler field of Euclidean numbers. This approach allows to easily introduce, by means of numerosities, ordinals and their natural operations, as well as the Lebesgue measure as a counting measure on the reals.

Euclidean numbers and numerosities / V. Benci, L. Luperi Baglini. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - 89:1(2024 Mar), pp. PII S0022481222000172.112-PII S0022481222000172.146. [10.1017/jsl.2022.17]

Euclidean numbers and numerosities

L. Luperi Baglini
Ultimo
2024

Abstract

Several different versions of the theory of numerosities have been introduced in the literature. Here, we unify these approaches in a consistent frame through the notion of set of labels, relating numerosities with the Kiesler field of Euclidean numbers. This approach allows to easily introduce, by means of numerosities, ordinals and their natural operations, as well as the Lebesgue measure as a counting measure on the reals.
numerosities; nonstandard analysis; Euclidean numbers; ultrafilters;
Settore MAT/01 - Logica Matematica
mar-2024
21-feb-2022
Article (author)
File in questo prodotto:
File Dimensione Formato  
Euclidean numbers and numerosities FINAL.pdf

Open Access dal 02/10/2024

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 471.03 kB
Formato Adobe PDF
471.03 kB Adobe PDF Visualizza/Apri
2109.15165.pdf

accesso aperto

Tipologia: Pre-print (manoscritto inviato all'editore)
Dimensione 298.57 kB
Formato Adobe PDF
298.57 kB Adobe PDF Visualizza/Apri
euclidean-numbers-and-numerosities(1).pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 311.46 kB
Formato Adobe PDF
311.46 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/905396
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact