User blog comment:Fejfo/Uncountable indexed veblen function/@comment-24061664-20180515100323/@comment-30869823-20180515193630

I understand what you are saying. However for uncountable oridnals I still need \( \varpsi_{\alpha+1}(\beta)=\theta_\alpha(\beta) \) because my \( \varpsi_\Omega \) doesn't list weak fixedpoints of \( \beta=\varpsi_\beta(\beta) \) yet.

Other than that, my notation should do the same as the theta function but without getting stuck. So \( \varpsi_{\alpha+1}(\beta)=\theta_\alpha(\beta) \) will only apply to certain uncountable ordinals \( \Omega\le\alpha\le\\varpsi(2,0,0) \) or \(  \Omega\cdot 2\le\alpha\le\varpsi(3,0,0) \) ect,