User blog comment:LittlePeng9/Binary relations via Turing machines/@comment-5150073-20131009210744

I guess that we can define $$\omega_1^\text{CK}[n]$$ as the largest ordinal which has the binary relation with n states.