TY - RPRT TI - Very weak fragments of weak Kőnig's lemma AU - Stephen G. Simpson AU - Keita Yokoyama PY - 2021 UR - https://arxiv.org/abs/2101.00636 ID - 2101.00636 ER -