List of functions: Difference between revisions

* [[cantor_normal_form|Cantor normal form]], or CNF

* The [[veblen_hierarchy|Veblen hierarchy]]

* rathjen's ocfs^{(sort out)}

* arai's ocfs^{(sort out)}