CreeperBomb
Undo revision 690 by Cobsonwabag (talk)
16:52
−2,039
Cobsonwabag
no edit summary
05:59
+2,039
03:55
+19
C7X
23:24
+102
RhubarbJayde
Created page with "The cofinality of an ordinal \(\alpha\), denoted \(\mathrm{cof}(\alpha)\) or \(\mathrm{cf}(\alpha)\), is the least \(\mu\) so that there is some function \(f: \mu \to \alpha\) with unbounded range. For example: * The cofinality of \(0\) is \(0\). * The cofinality of any successor ordinal is \(1\), because the map \(f: 1 \to \alpha+1\) defined by \(f(0) = \alpha\) has unbounded range. * The cofinality of any limit of ordinal is at least \(\omega\): if it's countabl..."
18:18
+1,395