User blog comment:Googleaarex/A new, really strong OCF definition?/@comment-5529393-20170730222010/@comment-30754445-20170730225947

Does the rest of it make sense in your view?

I'm not not well-versed enough in ordinals beyond ψ(ψᵢ(0)) to judge it for myself, and I'd like your expert opinion before I put in time and effort trying to understand it.