TY - RPRT TI - Weak König's lemma implies the uniform continuity theorem: a direct proof AU - Matthew Hendtlass PY - 2016 UR - https://arxiv.org/abs/1611.02527 ID - 1611.02527 ER -