Information | |
---|---|
has gloss | eng: In mathematics, the Church–Kleene ordinal, ω1CK, is a large countable ordinal. It is the smallest non-recursive ordinal. It is named after Alonzo Church and S. C. Kleene. |
lexicalization | eng: Church-Kleene ordinal |
lexicalization | eng: Church–Kleene ordinal |
instance of | (noun) the number designating place in an ordered sequence ordinal number, no., ordinal |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint