Article contents
The weak König lemma and uniform continuity
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2008
References
REFERENCES
- 3
- Cited by