Weak König s Lemma Implies Brouwer s Fan Theorem: A Direct Proof

Hajime Ishihara. Weak König s Lemma Implies Brouwer s Fan Theorem: A Direct Proof. Notre Dame Journal of Formal Logic, 47(2):249-252, 2006. [doi]

Abstract

Abstract is missing.