Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof
暂无分享，去创建一个
[1] Hajime Ishihara,et al. An omniscience principle, the König Lemma and the Hahn-Banach theorem , 1990, Math. Log. Q..
[2] Anne Sjerp Troelstra,et al. Note on the fan theorem , 1974, Journal of Symbolic Logic.
[3] A. Troelstra,et al. Formal systems for some branches of intuitionistic analysis , 1970 .