43 citations · 50 across the 3 of their papers we have counts for
1 paper · 2 filters
Denis R. Hirschfeldt, Carl G. Jockusch, Bjørn Kjos-Hanssen +2
We study the reverse mathematics and computability-the\-o\-re\-tic strength of (stable) Ramsey's Theorem for pairs and the related principles COH and DNR. We show that SRT22 im…