Five Circles: Real Analysis Theorems equivalent to Completeness
arXiv:2601.11681
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.