User blog comment:Edwin Shade/How do you evaluate extended Veblen notation ?/@comment-28606698-20171024203101

Just yesterday I have wrote about finitary Veblen function here.

Now just a little remark: $$\omega$$ is not defined as smallest ordinal number $$\gamma$$ such that $$\gamma=\gamma+1$$, actually $$\omega$$ is the smallest ordinal number $$\gamma$$ such  $$\gamma=1+\gamma$$

We can define \omega as follows:

$$\omega=\text{min}\{\alpha|\forall n\in \mathbb N, n+\alpha=\alpha\}$$