{"id":"arxiv/2606.01420","url":"https://arxiv.org/abs/2606.01420","tags":["math.LO"],"score":0,"title":"Numerical choice, Riemann integration, and Reverse Mathematics","domain":"math.LO","source":"arxiv","authors":["Sam Sanders","Dmytro Taranovsky"],"reviews":0,"subject":"math.LO","summary":"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 and related classes in mathematical logic. On one hand, weak logical systems already establish that a Riemann integrable function on the unit interval is bounded or dominated by a continuous function. On the other hand, the following slight generalisation already implies a rather strong logical system, namely the `Big Five' system ATR$_{0}$ which accommodates transfinite recursion. $$ \\text{For…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-31","reactions":{}}