User blog comment:LittlePeng9/Binary relations via Turing machines/@comment-25418284-20131004211047

I take it that Church-Kleene is the smallest ordinal that cannot be described in this manner?