User blog:LittlePeng9/Long hierarchies of functions (on my other blog)

I thought this might be of interest to some of you, so I'm going to mention it here.

Yesterday I've put up a new blog post on my personal blog, which you can find here. It shows existence of hierarchies of functions somewhat akin to SGH which however have length exceeding \(\omega_1\). To be more precise, I show existence of hierarchies of any length below \(\omega_2\) in which functions higher up eventually dominate functions below them. There is also a section about computable functions containing such hierarchies of any length below \(\omega_1\).

If you have any questions or comments feel free to post them here or on my blog.