pith. sign in

arxiv: 1611.05176 · v1 · pith:6QBTAFNEnew · submitted 2016-11-16 · 🧮 math.LO · cs.LO

The strength of the SCT criterion

Emanuele Frittaion , Silvia Steila , Keita Yokoyama This is my paper
classification 🧮 math.LO cs.LO
keywords criterionanalysiscontextequivalentinductionmathematicsparticularprove
0
0 comments X
read the original 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 $\Sigma^0_2$-induction over RCA$_0$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.