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

Errors:
 * 1) \(\textrm{cof}(\alpha + \beta) = \textrm{cof}(\beta)\) has a counterexample \((\alpha,\beta) = (1,0)\).
 * 2) \(\textrm{cof}(\alpha \beta) = \textrm{cof}(\beta)\) has a counterexample \((\alpha,\beta) = (0,1)\).
 * 3) \(\textrm{cof}(\alpha^{\beta}) = \textrm{cof}(\beta)\) has a counterexample \((\alpha,\beta) = (0,1)\).

Questions:
 * 1) \(\psi\) is not defined. Is it an abbreviation of your \(\psi_0\)? Then is \(\kappa\) assumed to be non-zero in the equality \(\textrm{cof}(\psi_{\kapp}(0)) = \psi_{\kappa}(0)\)? Are there other symbols which are implicitly assumed to be non-zero?
 * 2) \(\psi_{\kappa}(0)\) for \(\kappa = C(\#,n+1,\#_0,0)\) is multiply-defined. Or is \(\pi) always assumed to be an infinite ordinal? Are there other symbols which are implicitly assumed to be infinite ordinals?
 * 3) The formula \(\beta > \sup \{\psi_{\kappa}(\beta) \mid \beta < \alpha\}\) at the right hand side of the definition of \(\psi_{\kappa}(\alpha)\) does not make sense. Is it \(\beta > \sup \{\psi_{\kappa}(\gamma) \mid \gamma < \alpha\}\)?
 * 4) What is the definition of \(C\)? For example, \(C(1,1)\) is not defined.
 * 5) Where does \(\kappa\) of the suffix of \(\psi_{\kappa}\) run? All ordinals? Or all regular cardinals?
 * 6) What is the condition on the last line of the definition of \(\psi_{\kappa}\)?