The strength of the SCT criterion
Logic
2016-11-17 v1 Logic in Computer Science
Abstract
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 -induction over RCA.
Cite
@article{arxiv.1611.05176,
title = {The strength of the SCT criterion},
author = {Emanuele Frittaion and Silvia Steila and Keita Yokoyama},
journal= {arXiv preprint arXiv:1611.05176},
year = {2016}
}
Comments
15 pages