Do Bolzano’s measurable numbers constitute a construction of the real numbers?
Determine whether Bolzano’s measurable numbers, as developed in the VIIth section "Infinite Quantity Concepts" of Reine Zahlenlehre, indeed provide a rigorous construction of the real numbers, resolving reported errors and inconsistencies and clarifying whether the system yields the real-number structure.
References
The great debate as to whether measurable numbers is indeed a construction of real numbers has not yet been convincingly concluded.
— Bernard Bolzano: from Topological to Arithmetical Continuum and Back Again
(2508.06897 - Trlifajová, 9 Aug 2025) in Section: Measurable numbers