Normal function: 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.

23 March 2024

31 August 2023

30 August 2023

13 September 2022

5 September 2022

  • curprev 20:4820:48, 5 September 2022Metachirality talk contribs 339 bytes +339 Created page with "A normal function is a function on ordinals that preserves limits and is strictly increasing. That is, \(f\) is normal if and only if it satisfies the following properties: * \(\alpha<\beta \Leftrightarrow f(\alpha)<f(\beta)\) * \(f(\alpha)=\sup f(\beta)\) if and only if \(\beta<\alpha\) and \(\alpha\) is a limit ordinal."