published by Silvia Steila
in 2016
and research's language is
English
Download
Abstract in English
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$.