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

Since \(|\omega_1+1|=|\omega_1|\), the continuum hypothesis doesn't give us an obstruction for existence of such a chain.