Ordinal analyses for monotone and cofinal transfinite inductions. - Sato, Kentaro (Arch. Math. Log., 2020)