Ordinal function: Difference between revisions
Undo revision 683 by Cobsonwabag (talk)
(Some context) |
CreeperBomb (talk | contribs) (Undo revision 683 by Cobsonwabag (talk)) Tag: Undo |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 1:
An '''ordinal function''' refers to a function from [[ordinal]]s to ordinals. More rarely, they refer to functions from an initial segment of the ordinals to another. Important examples include [[continuous function]]s and [[normal function]]s.
Technically speaking and within [[ZF]], since [[Burali–Forti paradox|ordinals don't form a set]], one can't formally talk about functions \(f:\text{On}\to\text{On}\). However, as with the method of using Grothendieck universes, replacing \(\text{On}\) with the set of ordinals below a large enough ordinal, such as an [[inaccessible ordinal]] or even an [[uncountable]]<ref>D. Probst, [https://boris.unibe.ch/108693/1/pro17.pdf#page=153 A modular ordinal analysis of metapredicative subsystems of second-order arithmetic] (2017), p.153</ref> or [[principal]] ordinal, depending on context, is almost always enough to formally recover any results on them. As such, we still refer to them as functions from ordinals to ordinals in the wiki.
|