List of functions: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
Augigogigi (talk | contribs) (page created) |
Augigogigi (talk | contribs) mNo edit summary |
||
| 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<sup>(sort out)</sup> |
* rathjen's ocfs<sup>(sort out)</sup> |
||
* arai's ocfs<sup>(sort out)</sup> |
* arai's ocfs<sup>(sort out)</sup> |
||
Revision as of 22:21, 5 September 2022
- Cantor normal form, or CNF
- The Veblen hierarchy
- Buchholz's psi
- Extended Buchholz's psi
- rathjen's ocfs(sort out)
- arai's ocfs(sort out)
- stegert's ocfs(sort out)