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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,337
Through your library

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.
Note on the Fan Theorem.A. S. Troelstra - 1974 - Journal of Symbolic Logic 39 (3):584-596.

Add more references

Citations of this work BETA

Unique Solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.

View all 8 citations / Add more citations

Similar books and articles

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.
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.
Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
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.

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 )

How can I increase my downloads?

Downloads

My notes