User blog comment:Elberos/Help?/@comment-35470197-20181219153612/@comment-32697988-20181220142811

>The fixed point of \(\alpha \mapsto I_\alpha\) is much larger than the countable iteration \(I_{I_{I_{\cdot_{\cdot_{\cdot}}}}}\).

Does this depend on whether \(I_\omega\) is the \(\omega\)-th inaccessible or the limit of \(I_0,I_1,I_2,\cdots\)?