List of ordinals: Difference between revisions
Jump to navigation
Jump to search
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 6:
* [[A-recursion theory|α-recursion theory]] (the study of generalising recursion on the natural numbers to on L_α for [[admissible]] ordinals α)
* [[B-recursion theory|β-recursion theory]] (the generalisation of α-recursion theory to non-admissible α)
* [[Proof theory]] and [[ordinal analysis]] (which assigns
* Googology (which translates recursive ordinal notations into systems for constructing large finite numbers).
| |||