The strength of the SCT criterion
arXiv:1611.05176
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.
15 pages
arXiv:1611.05176
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.
15 pages