Recursive ordinal: 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.

20 March 2012

  • curprev 16:0516:05, 20 March 2012en>JRSpriggs 1,558 bytes +1,558 "there are" instead of "there's". Indeed, an ordinal is recursive if and only if it is smaller than <math>\omega^{CK}_1</math>.