User blog comment:Fejfo/Super Fast Beaver Hierarchies and a weird OCF/@comment-1605058-20180806150910/@comment-35392788-20180806174831

Don't you mean for recursive \(\alpha\)? Because for uncountable \(\alpha\) I'm pretty sure \(\omega_\alpha^\text{CK} = \alpha\), but i could be wrong.