8 citations · 19 across the 21 of their papers we have counts for
Showing 2017 · math.LOShow all
3 papers · 2 filters
math.LO2017★ 3 cited
The strength of Ramsey's theorem for pairs and arbitrarily many colors
Theodore A. Slaman, Keita Yokoyama
In this paper, we show that is a -conservative extension of .
math.LO2017
The strength of SCT soundness
Emanuele Frittaion, Florian Pelupessy, Silvia Steila +1
In this paper we continue the study, from Frittaion, Steila and Yokoyama (2017), on size-change termination in the context of Reverse Mathematics. We analyze the soundness of the S…
math.LO2017★ 2 cited
The reverse mathematics of theorems of Jordan and Lebesgue
André Nies, Marcus A. Triplett, Keita Yokoyama
The Jordan decomposition theorem states that every function of bounded variation can be written as the difference of two non-decreasing functions. C…