Abstract
We prove constructively that the weak König lemma and quantifier-free number—number choice imply that every pointwise continuous function from Cantor space into Baire space has a modulus of uniform continuity.
Citation
Josef Berger. "The weak König lemma and uniform continuity." J. Symbolic Logic 73 (3) 933 - 939, September 2008. https://doi.org/10.2178/jsl/1230396756
Information
