Where Pigeonhole Principles meet König Lemmas

David Belanger, Chitat Chong, Wei Wang +2

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