User blog comment:Kyodaisuu/Mashimo function/@comment-1605058-20140706065714/@comment-24061664-20140706182927

To define fundamental sequence of \(f_\omega_2^\text{CK}(n)\), we will enumerate ordinals recursive relative to \(\omega_1^\text{CK}\), I think.