All Subjects
Light
11.1
Ordinals and well-orderings
11.2
Recursive ordinals
11.3
Church-Kleene ordinal
11.4
Ordinal notations and recursive pseudo-well-orderings
11.5
Relationship between recursive ordinals and hyperarithmetical hierarchy