User blog comment:P進大好きbot/ZFC-variant of Rayo's number/@comment-37485018-20190816235322/@comment-35470197-20190817000522

No. It is the same of \(\omega \leq \alpha\).