Weak König's lemma implies the uniform continuity theorem: a direct proof
arXiv:1611.02527
Abstract
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak König's lemma implies the uniform continuity theorem.