Church–Kleene ordinal

In mathematics, the Church–Kleene ordinal, $\omega^{\mathrm{CK}}_1$ , named after Alonzo Church and S. C. Kleene, is a large countable ordinal. It is the set of all recursive ordinals and the smallest non-recursive ordinal. It is also the first ordinal which is not hyperarithmetical, and the first admissible ordinal after ω.

References

Church, Alonzo; Kleene, S. C. (1937), "Formal definitions in the theory of ordinal numbers.", Fundamenta mathematicae, Warszawa, 28: 11–21, JFM 63.0029.02
Church, Alonzo (1938), "The constructive second number class", Bull. Amer. Math. Soc. 44 (4): 224–232, doi:10.1090/S0002-9904-1938-06720-1
Kleene, S. C. (1938), "On Notation for Ordinal Numbers", The Journal of Symbolic Logic (The Journal of Symbolic Logic, Vol. 3, No. 4) 3 (4): 150–155, doi:10.2307/2267778, JSTOR 2267778
Rogers, Hartley (1987) [1967], The Theory of Recursive Functions and Effective Computability, First MIT press paperback edition, ISBN 978-0-262-68052-3

Large countable ordinals

First infinite ordinal ω Epsilon numbers ε₀ Feferman–Schütte ordinal Γ₀ Ackermann ordinal θ(Ω²) small Veblen ordinal θ(Ω^ω) large Veblen ordinal θ(Ω^Ω) Bachmann–Howard ordinal ψ(ε_Ω+1) Ψ₀(Ω_ω) Church–Kleene ordinal ω₁^CK