Abstract
We study the strength of some combinatorial principles weaker than Ramsey theorem for pairs over RCA0. First, we prove that Rainbow Ramsey theorem for pairs does not imply Thin Set theorem for pairs. Furthermore, we get some other related results on reverse mathematics using the same method. For instance, Rainbow Ramsey theorem for pairs is strictly weaker than Erdős-Moser theorem under RCA0.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have