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

Joke^2: Also the fixed point of \( \alpha \mapsto \varphi(20,\alpha) \) is written as \( \varphi(21,0) \). It means omega fixed point is countable. What a discovery!

2JokeSerious: \( \varphi(0,\alpha) \) would be \( \delta_{\alpha} \). Also, he letter omega is case sensitive.

Serious^2: This notation is making no sense.