 The first ordinal \(\tau\) such that there is no recursive well-ordering of order type \(\tau\) is usually denoted by \(\omega^{CK}\) in honor of Church and Kleene. It can be shown for the above definition of \({\cO}\) that the recursive ordinals are exactly those that have a notation in \({\cO}\).