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..."