Weak K\"{o}nig's lemma implies the uniform continuity theorem: a direct proof
classification
🧮 math.LO
keywords
continuityimplieslemmatheoremuniformweakbishopchoice---that
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.