Heine–Borel theorem: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 October 2014

  • curprev 08:5908:59, 25 October 2014 en>Knightofairplanes 13,730 bytes +302 Proof: Remove circular appeal to Cantor's Intersection Theorem, just need a Cauchy sequence.

18 September 2013

  • curprev 04:0404:04, 18 September 2013 98.222.72.97 talk 13,428 bytes +13,428 At the end of the article was the statement that one direction of the proof of the Heine-Borel theorem is equivalent to the Ultrafilter Principle. The citation given (Schechter) states that this is true for the filter version. I corrected this.

28 August 2012