arXiv:1204.4483math.HO
Real Analysis in Reverse
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
Many of the theorems of real analysis, against the background of the ordered field axioms, are equivalent to Dedekind completeness, and hence can serve as completeness axioms for the reals. In the course of demonstrating this, the article offers a tour of some less-familiar ordered fields, provides some of the relevant history, and considers pedagogical implications.
Propp himself (the author) wrote a paper in 2012 called Real Analysis In Reverse, which he links to in the post but doesn't really call attention to. It's a lovely paper, and it talks about precisely what properties of the reals are enough to tell you that you really are dealing…
Smaug123View on HNParent context