Anonymous user
List of functions: Difference between revisions
no edit summary
Augigogigi (talk | contribs) (page created) |
No edit summary |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 1:
* [[cantor_normal_form|Cantor normal form]], or CNF
* The [[veblen_hierarchy|Veblen hierarchy]]
* [[buchholz_psi|Buchholz's psi]]
* [[extended_buchholz_psi|Extended Buchholz's psi]]
* Rathjen's OCFs: Michael Rathjen made a variety of ordinal collapsing functions for proof-theoretic purposes, these include:
* rathjen's ocfs<sup>(sort out)</sup>▼
** Rathjen's \( \psi \) for an ordinal analysis of KPM.
* arai's ocfs<sup>(sort out)</sup>▼
** Rathjen's \( \Psi \) for an ordinal analysis of KP with the \( \Pi_3 \)-reflection schema adjoined.
** Rathjen's \( \Psi \) for an ordinal analysis of lightface (parameterless) \( \Pi^1_2 \)-comprehension, which is equivalent to KP plus the assertion that there exists a stable ordinal.
|