Five Circles: Real Analysis Theorems equivalent to Completeness

Rafael Cantuba

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 r…