Weak K\"{o}nig's lemma implies the uniform continuity theorem: a direct proof
Logic
2016-11-09 v1
Abstract
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.
Cite
@article{arxiv.1611.02527,
title = {Weak K\"{o}nig's lemma implies the uniform continuity theorem: a direct proof},
author = {Matthew Hendtlass},
journal= {arXiv preprint arXiv:1611.02527},
year = {2016}
}