The strength of the SCT criterion

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

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 }_2^0$-induction over RCA${}_0$…