Cofinality: Revision history

25 March 2024

• curprev 16:5216:52, 25 March 2024‎ CreeperBomb talk contribs‎ 1,516 bytes −2,039‎ Undo revision 690 by Cobsonwabag (talk) undo Tag: Undo
• curprev 05:5905:59, 25 March 2024‎ Cobsonwabag talk contribs‎ 3,555 bytes +2,039‎ No edit summary undo

24 March 2024

• curprev 03:5503:55, 24 March 2024‎ CreeperBomb talk contribs‎ m 1,516 bytes +19‎ No edit summary undo

7 September 2023

• curprev 23:2423:24, 7 September 2023‎ C7X talk contribs‎ 1,497 bytes +102‎ No edit summary undo

6 September 2023

• curprev 18:1818:18, 6 September 2023‎ RhubarbJayde talk contribs‎ 1,395 bytes +1,395‎ 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..." Tag: Visual edit