User blog comment:Flitri/A new Ordinal based Function on weakening Large Countable Ordinal analogs of Large Cardinal Axioms/@comment-35470197-20190619222721/@comment-25216794-20190720042142

Well this is awkward...

I gotta rename this blog post lol.

-So far I did a lot and I pretty much rewrote C in proper (hopefully) set theoretical terms. -I defined all cases for a fundamental sequence system, as well as cases for terms like C(1,0,Ω^Ω). -Ordinal tuples, while not being defined set theoretically, have been replaced by pseudo-Ordinals D & D(1) for diagonalisation purposes.

That’s pretty much it, I’m not looking for errors per se, but am I on the right track with my limited understanding of ordinals and how they work?