Yue Yang

activity

20182021

most citedThe Strength of Ramsey's Theorem For Pairs over trees: I. Weak König's Lemma

1 citations · 3 across the 4 of their papers we have counts for

collaborators

Showing 2019Show all

2 papers · 1 filter

math.LO2019★ 1 cited

The Strength of Ramsey's Theorem For Pairs over trees: I. Weak König's Lemma

Chi Tat Chong, Wei Li, Lu Liu +1

Let $TT_{k}^{2}$ denote the combinatorial principle stating that every $k$ -coloring of pairs of compatible nodes in the full binary tree has a homogeneous solution, i.e. an is…

math.LO2019★ 1 cited

Where Pigeonhole Principles meet König Lemmas

David Belanger, Chitat Chong, Wei Wang +2

We study the pigeonhole principle for $Σ_{2}$ -definable injections with domain twice as large as the codomain, and the weak König lemma for $Δ_{2}^{0}$ -definable trees in which every lev…