PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03F15 - Mathematical logic and foundations :: Proof theory and constructive mathematics :: Recursive ordinals and ordinal notations

additively indecomposable owned by mathcam classes of ordinals and enumerating functions owned by mathcam proof of theorems in additively indecomposable owned by mathcam Veblen function owned by Henry
Show empty categories:
[ up \| top ]