List of functions: Difference between revisions

m
no edit summary
(page created)
 
mNo edit summary
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<sup>(sort out)</sup>
* arai's ocfs<sup>(sort out)</sup>