User blog comment:Syst3ms/A sketch for an — actually — formal definition of UNOCF/@comment-30869823-20180804141523/@comment-30754445-20180804213820

A "walkthrough" that jumps directly from U(Ω22) to inaccessible cardinals? As the user Chronolegend is fond of saying, "he yada yada'd the best part". :-)

Funnily, though, the examples given are still enough to point out why the system doesn't work as intended. For example, take a look at the obvious gap just below U(Ω2x2).