List of functions: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
Augigogigi (talk | contribs) (page created) |
No edit summary |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
* [[cantor_normal_form|Cantor normal form]], or CNF |
* [[cantor_normal_form|Cantor normal form]], or CNF |
||
* The [[veblen_hierarchy|Veblen hierarchy]] |
* The [[veblen_hierarchy|Veblen hierarchy]] |
||
* [[buchholz_psi|Buchholz's psi] |
* [[buchholz_psi|Buchholz's psi]] |
||
* [[extended_buchholz_psi|Extended 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 \( \psi \) for an ordinal analysis of KPM. |
|||
| ⚫ | |||
** Rathjen's \( \Psi \) for an ordinal analysis of KP with the \( \Pi_3 \)-reflection schema adjoined. |
|||
* stegert's ocfs<sup>(sort out)</sup> |
|||
** 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. |
|||
| ⚫ | |||
| ⚫ | |||
Latest revision as of 17:00, 2 March 2023
- Cantor normal form, or CNF
- The Veblen hierarchy
- Buchholz's 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 \( \psi \) for an ordinal analysis of KPM.
- 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.
- Arai's OCFs(sort out)
- Stegert's OCFs(sort out)