Five Circles: Real Analysis Theorems equivalent to Completeness
History and Overview
2026-01-21 v1
Abstract
This is an exposition of the work of O. Riemenschneider about five ''circles'' of implications relating real analysis theorems each equivalent to the Dedekind completeness of the real field. These circles cover five elements of real function theory: convergence, connectedness, differentiability, compactness and integration.
Cite
@article{arxiv.2601.11681,
title = {Five Circles: Real Analysis Theorems equivalent to Completeness},
author = {Rafael Cantuba},
journal= {arXiv preprint arXiv:2601.11681},
year = {2026}
}