Weak König's lemma implies Brouwer's fan theorem: a direct proof
From MaRDI portal
Publication:867405
DOI10.1305/ndjfl/1153858649zbMath1111.03052OpenAlexW2062677359WikidataQ125026653 ScholiaQ125026653MaRDI QIDQ867405
Publication date: 15 February 2007
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1153858649
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)
Related Items
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle, A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC, König's lemma, weak König's lemma, and the decidable fan theorem, Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$, Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem, The binary expansion and the intermediate value theorem in constructive reverse mathematics, Die another day, The weak König lemma and uniform continuity, An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
