K. Yokoyama

activity

20132023

most citedThe proof-theoretic strength of Ramsey's theorem for pairs and two colors

8 citations · 19 across the 21 of their papers we have counts for

collaborators

Showing 2016Show all

2 papers · 1 filter

math.LO2016

The strength of the SCT criterion

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

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 $Σ_{2}^{0}$ -induction over RCA $_{0}$ …

math.LO2016★ 8 cited

The proof-theoretic strength of Ramsey's theorem for pairs and two colors

Ludovic Patey, Keita Yokoyama

Ramsey's theorem for $n$ -tuples and $k$ -colors ( $RT_{k}^{n}$ ) asserts that every k-coloring of $[N]^{n}$ admits an infinite monochromatic subset. We study the proof-the…