RT2 2 does not imply WKL0

By Jiayi Liu. Journal of Symbolic Logic (JSL), 2012

72 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Electrical and Electronic Engineering, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/f0b8647f625fba345587a8bb9c0fabae2874855f

Citations in the corpus

• The weakness of being cohesive, thin or free in reverse mathematics (2015, unknown): “How Ramsey-type theorems help solving cohesiveness In his paper separating Ramsey’s theorem for pairs from weak König’s lemma, Liu [28] proved that every (non-necessarily effective) set A has an infinite subset of either it or its complement which is not of PA degree.”
• THE METAMATHEMATICS OF STABLE RAMSEY'S THEOREM FOR PAIRS (2014, unknown): “The next combinatorial principle is known to be independent of RT 22 (Liu, 2012).”