{"id":"arxiv/2605.15151","url":"https://arxiv.org/abs/2605.15151","tags":["math.LO"],"score":0,"title":"Avoiding logical strength in real analysis","domain":"math.LO","source":"arxiv","authors":["Anton Freund","Nicholas Pischke","Patrick Uftring"],"reviews":0,"subject":"math.LO","summary":"In reverse mathematics, real numbers are traditionally represented by Cauchy sequences with a given rate of convergence. We work without rates and speak of slow Cauchy sequences. It turns out that almost all one-dimensional real analysis from the reverse mathematics book by Simpson can then be developed in theories that are conservative over $\\mathsf{RCA}_0$. Specifically, we obtain clusters of equivalences with the infinite pigeonhole principle and the strong cohesive principle. The second cluster includes results like the Bolzano-Weierstrass and Arzelà-Ascoli theorems, which are…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}