User blog comment:LittlePeng9/Long hierarchies of functions (on my other blog)/@comment-11227630-20171031155258/@comment-80.98.179.160-20171107124843

No, $$\omega_1+1\ne\omega_1$$.