User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-30118230-20180207150919

Will you analyse $$Z_2 + \text{PD}$$ or \text{\text{KP} + Sigma^1_1 - \text{MI}} (MI is monotonic induction schema) eventually? I am very interested in those. Also,will you analyse CoC?