Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Numerical choice, Riemann integration, and Reverse Mathematics
Sam Sanders, Dmytro Taranovsky
Riemann integration remains a well-known part of mathematics for both historical and conceptual reasons. We study basic properties like boundedness of Riemann integrable functions…
math.LO2024
On the computational properties of basic mathematical notions
Dag Normann, Sam Sanders
We investigate the computational properties of basic mathematical notions pertaining to -functions and subsets of , like finiteness, c…