  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$.

Logic;Logic in Computer Science