- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The weak König lemma and uniform continuity
Journal of Symbolic Logic 73 (3):933-939 (2008)
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 continuityLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.Tatsuji Kawai - 2023 - Mathematical Logic Quarterly 69 (3):370-391.
The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem.Douglas Bridges & Hannes Diener - 2007 - Journal of Symbolic Logic 72 (4):1379 - 1384.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Decidable fan theorem and uniform continuity theorem with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2021 - Mathematical Logic Quarterly 67 (1):116-130.
The anti-Specker property, uniform sequential continuity, and a countable compactness property.Douglas Bridges - 2011 - Logic Journal of the IGPL 19 (1):174-182.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2020 - Archive for Mathematical Logic 60 (1):241-263.
Formally continuous functions on Baire space.Tatsuji Kawai - 2018 - Mathematical Logic Quarterly 64 (3):192-200.
A Lipschitz determinacy principle equivalent to weak König lemma.William Chan - 2023 - Annals of Pure and Applied Logic 174 (3):103213.
Analytics
Added to PP
2010-09-12
Downloads
28 (#557,911)
6 months
5 (#837,573)
2010-09-12
Downloads
28 (#557,911)
6 months
5 (#837,573)
Historical graph of downloads
Citations of this work
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.Tatsuji Kawai - 2023 - Mathematical Logic Quarterly 69 (3):370-391.
References found in this work
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo