User blog comment:Moooosey/Simple psi-- a fairly simple ocf/@comment-43798125-20191105221608/@comment-35470197-20191106231231

Sorry, but I made a mistake. The "\(\psi_{\Omega}(\Omega_2)\)" should be \(\psi_{\Omega}(\psi_{\Omega_2}(0))\), and \(\varphi(1,0,\Omega+1)\) should be \(\varphi(1,\Omega+1,0)\) If I am correct. (I might be wrong, because I am not so good at dealing with Veblen function.) Therefore I fixed it.

With respect to the updated version, I think that the limit of \(\psi_0\) is \(\psi_{\Omega}(\Omega_2)\) in Rathjen's OCF. (I might be wrong again, though.)