Church–Kleene ordinal

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
countable ordinal
gptkbp:cardinality ℵ₀
gptkbp:describedBy effective descriptive set theory
gptkbp:field gptkb:logic
recursion theory
gptkbp:greaterThanAll recursive ordinals
gptkbp:heldBy the smallest non-recursive ordinal
the supremum of all computable ordinals
https://www.w3.org/2000/01/rdf-schema#label Church–Kleene ordinal
gptkbp:isCountable true
gptkbp:isLimitOrdinal true
gptkbp:isNotComputable true
gptkbp:isNotRecursive true
gptkbp:isSupremumOf computable ordinals
gptkbp:namedAfter gptkb:Alonzo_Church
gptkb:Stephen_Cole_Kleene
gptkbp:notation ω₁^{CK}
gptkbp:symbol ω₁^{CK}
gptkbp:bfsParent gptkb:Kleene's_O
gptkbp:bfsLayer 6