paper

Does Church-Kleene ordinal exist?

arXiv:math/0307090

Abstract

A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal really exists.

4 pages, LaTeX

References in corpus (1)

Does Church-Kleene ordinal $ω_1^{CK}$ exist? · wovepaper