Notre Dame Journal of Formal Logic 47 (2):249-252 (2006)
| Abstract |
Classically, weak König's lemma and Brouwer's fan theorem for detachable bars are equivalent. We give a direct constructive proof that the former implies the latter
|
| Keywords | weak Koenig's lemma Brouwer's fan theorem constructive mathematics |
| Categories | (categorize this paper) |
| DOI | 10.1305/ndjfl/1153858649 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,337
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- projecteuclid.org [4] (no proxy)
- projecteuclid.org [5] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Formal Systems for Some Branches of Intuitionistic Analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
An Omniscience Principle, the König Lemma and the Hahn-Banach Theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.
An Omniscience Principle, the König Lemma and the Hahn‐Banach Theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
Citations of this work BETA
A Marriage of Brouwer’s Intuitionism and Hilbert’s Finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.
A Separating Hyperplane Theorem, the Fundamental Theorem of Asset Pricing, and Markov's Principle.Josef Berger & Gregor Svindland - 2016 - Annals of Pure and Applied Logic 167 (11):1161-1170.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
The Binary Expansion and the Intermediate Value Theorem in Constructive Reverse Mathematics.Josef Berger, Hajime Ishihara, Takayuki Kihara & Takako Nemoto - 2019 - Archive for Mathematical Logic 58 (1-2):203-217.
View all 8 citations / Add more citations
Similar books and articles
A Non-Standard Construction of Haar Measure and Weak König's Lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Brouwer's Equivalence Between Virtual and Inextensible Order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
Some New Intuitionistic Equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
The Weak König Lemma and Uniform Continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore A. Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
Separation and Weak König's Lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
On the Proof of Solovay's Theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
A Constructive Proof of Craig's Interpolation Lemma for M-Valued Logic.Anita Waselewska - 1979 - Studia Logica 38 (3):267 - 275.
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
The Fan Theorem and Unique Existence of Maxima.Josef Berger, Douglas Bridges & Peter Schuster - 2006 - Journal of Symbolic Logic 71 (2):713 - 720.
An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered.J. Todd Wilson - 2001 - Journal of Symbolic Logic 66 (3):1121-1126.
Analytics
Added to PP index
2010-08-24
Total views
37 ( #307,319 of 2,507,886 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,886 )
2010-08-24
Total views
37 ( #307,319 of 2,507,886 )
Recent downloads (6 months)
1 ( #416,715 of 2,507,886 )
How can I increase my downloads?
Downloads
