User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20171217042147

Is \(I_\omega\) the \(\omega\)th inaccesible or the limit of the first \(\omega\) inaccessibles?