Translator Disclaimer
2006 Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof
Hajime Ishihara
Notre Dame J. Formal Logic 47(2): 249-252 (2006). DOI: 10.1305/ndjfl/1153858649

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.

Citation

Download Citation

Hajime Ishihara. "Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof." Notre Dame J. Formal Logic 47 (2) 249 - 252, 2006. https://doi.org/10.1305/ndjfl/1153858649

Information

Published: 2006
First available in Project Euclid: 25 July 2006

zbMATH: 1111.03052
MathSciNet: MR2240622
Digital Object Identifier: 10.1305/ndjfl/1153858649

Subjects:
Primary: 03F65
Secondary: 03B30

Rights: Copyright © 2006 University of Notre Dame

JOURNAL ARTICLE
4 PAGES


SHARE
Vol.47 • No. 2 • 2006
Back to Top