We undertake the study of size-change analysis in the context of Reverse Mathematics. In particular, we prove that the SCT criterion [9, Theorem 4] is equivalent to IΣ20 over RCA0.
CITATION STYLE
Frittaion, E., Steila, S., & Yokoyama, K. (2017). The Strength of the SCT Criterion. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10185 LNCS, p. 260). Springer Verlag. https://doi.org/10.1007/978-3-319-55911-7_19
Mendeley helps you to discover research relevant for your work.