User blog comment:Nayuta Ito/A new ordinal notation in which ω 1 is countable/@comment-35470197-20190401040020

In my analysis, \(\varphi(0,\alpha)\) should be \(\alpha_{\alpha}\). Therefore \(\varphi(0,\varphi(0,\cdots))\) should be the least fixed point of \(\alpha\). Similarly, \(\varphi(20,\varphi(20,\cdots))\) should be the least omega fixed point \(\Omega_{\Omega_{\cdot_{\cdot_{\cdot}}}}\).