Die Supremumseigenschaft wurde auch im Bereich der reversen Mathematik untersucht, wo ihre genaue Stärke bestimmt wurde. In der Sprache der Disziplin ausgedrückt ist die Supremumseigenschaft äquivalent zu ACA0 über RCA0. == Verletzung der Supremumseigenschaft == Da jede rationale Zahl berechenbar ist und die Vervollständigung der rationalen Z...