The strength of the SCT criterion
  We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion is equivalent to $\Sigma^0_2$-induction over RCA$_0$. 
Emanuele Frittaion and Silvia Steila and Keita Yokoyama
math.LO cs.LO