ck.pdf
By Hitoshi Kitada
Abstract: A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal $\omega_1^{CK}$ really exists.
Back to the previous page.