Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof
Ishihara, Hajime
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 249-252 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2006-04-14
Classification:  weak Koenig's lemma,  Brouwer's fan theorem,  constructive mathematics,  03F65,  03B30 
@article{1153858649,
     author = {Ishihara, Hajime},
     title = {Weak K\"onig's Lemma Implies Brouwer's Fan Theorem: A Direct Proof},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 249-252},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1153858649}
}

Ishihara, Hajime. Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  249-252. http://gdmltest.u-ga.fr/item/1153858649/