Strict weakness of RCOLOR_2
Determine whether the Ramsey-type graph-coloring principle RCOLOR_2 is strictly weaker than the Ramsey-type weak König's lemma principle RWKL over RCA_0.
References
On the other hand, it is still unknown whether $RCOLOR_2$ is strictly weaker.
— The weakness of typicality
(2609.00884 - Astor et al., 1 Sep 2026) in Section 7.1, subsection “Ramsey-type graph coloring principles”