Church–Kleene ordinal

In mathematics, the Church–Kleene ordinal, , 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


This article is issued from Wikipedia - version of the 2/3/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.