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

Is I(n) is n-th member of the sequence: W, I, "some third diagonalizator", etc...?