User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-35470197-20180803231131/@comment-35392788-20180808103419

Ask P Bot, but I'm pretty sure ordinal notation and OCF are not the same.

I mean, sure, we can use somewhat smaller cardinals to make everything work as an OCF, but I don't have enough knowledge of large cardinals to find which one would correspond to, say C(2;0;0), unless we define them as "bigger than anything could ever generate". But would I then be even able to have a working definition ? Hell if I know, I'm just a lazy 15 year old. I'm open to alternate definitions and the like, of course, but I don't see how this could work out as it is.

Now, I'm not one to make statements about strength of systems, but according to several people, if UNOCF were well-defined up to T, it would be as strong as some standard weakly compact OCFs. And who knows where we could get with things like superstage cardinals and Nish's V_x.

Really though, I'm kinda just at a loss here.

I Ii

II I_