User blog comment:P進大好きbot/Cheatsheet on Properties of OCFs/@comment-32697988-20191201105526/@comment-32697988-20191201173122

5. So \(\psi_\Omega(\psi_\Omega(0))\) is nest-free but \(\psi_\Omega(\Omega)\) is not?

6. Why does \(\psi_\Omega(\chi_0(\Phi_1(0)+1))\) expand like it is shown in the expansions table of Rathjen's OCF based on a weakly Mahlo cardinal and not \(\psi_\Omega(\psi_{\chi_0(\Phi_1(0)+1)}(\psi_{\chi_0(\Phi_1(0)+1)}(...)))\)?