List of functions: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
Augigogigi (talk | contribs) mNo edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
* [[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> |
||
* |
* Arai's OCFs<sup>(sort out)</sup> |
||
* |
* Stegert's OCFs<sup>(sort out)</sup> |
||
Revision as of 16:47, 2 March 2023
- 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)