Vieri Benci

dblp:78/6306 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2024
0000-0003-0454-0939ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2024 Euclidean numbers and Numerosities
abstract
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 us 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.
Vieri Benci, Lorenzo Luperi Baglini
J. Symb. Log.1
2006 An Aristotelian notion of size
Vieri Benci, Mauro Di Nasso, Marco Forti
Ann. Pure Appl. Log.1