More conservativity for weak Kőnig's lemma

Anton Freund, Patrick Uftring

We prove conservativity results for weak Kőnig's lemma that extend the celebrated result of Harrington (for ${\Pi }_1^1$-statements) and are somewhat orthogonal to the extension by Simp…