User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043

Is there a recursive way to determine the cofinaliy of ordinals in your formal definition?