×

An Euclidean measure of size for mathematical universes. (English) Zbl 1131.03029

In this paper the authors define the notion of (normal) Euclidean measure of size (numerosity) and provide examples of (normal) Euclidean measures of size for suitable mathematical universes in Zermelo-Fraenkel set theory ZFC.

MSC:

03E99 Set theory
03B30 Foundations of classical theories (including reverse mathematics)
PDFBibTeX XMLCite