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

Errors : Okay, I figured I would need a standard form eventually. I'll work on that.

Questions :

1) It's an abbreviation of \(\psi_\Omega\)

2) Of course it is multiply defined. The rule applies if \(\kappa\) is of the form \(C(\#,n+1,\#_0)\)

3) I don't understand it myself either, ask Nish, he came up with it

4) The C function is more or less just placeholders for ordinals that collapse into smaller stuff, so, past \(I\), the actual values of the C function don't matter, only how they collapse does, if that make any sense. Although, \(C(1,1)\) can be considered equal to \(I_2\).

5) All uncountable regular cardinals, forgot to mention that.

6) Which one ?