List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 6: | Line 6: | ||
* [[A-recursion theory|α-recursion theory]] (the study of generalising recursion on the natural numbers to on L_α for [[admissible]] ordinals α) |
* [[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 α) |
* [[B-recursion theory|β-recursion theory]] (the generalisation of α-recursion theory to non-admissible α) |
||
* [[Proof theory]] and [[ordinal analysis]] (which assigns |
* [[Proof theory]] and [[ordinal analysis]] (which assigns recursive ordinals to theories according to the lengths of the recursive well-orders they can prove well-founded) |
||
* Googology (which translates recursive ordinal notations into systems for constructing large finite numbers). |
* Googology (which translates recursive ordinal notations into systems for constructing large finite numbers). |
||