Weak König's lemma implies Brouwer's fan theorem: a direct proof
From MaRDI portal
Publication:867405
DOI10.1305/NDJFL/1153858649zbMATH Open1111.03052OpenAlexW2062677359WikidataQ125026653 ScholiaQ125026653MaRDI QIDQ867405FDOQ867405
Authors: Hajime Ishihara 
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
Recommendations
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
- A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
- König's lemma, weak König's lemma, and the decidable fan theorem
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
- The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
- On uniform weak König's lemma
- Equivalents of the (weak) fan theorem
- The weak König lemma and uniform continuity
- Separation and Weak König's Lemma
- Weak König's lemma implies the uniform continuity theorem
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)
Cited In (10)
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- Die another day
- König's lemma, weak König's lemma, and the decidable fan theorem
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
- Two direct proofs that LLPO implies the detachable fan theorem
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
- The weak König lemma and uniform continuity
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
This page was built for publication: Weak König's lemma implies Brouwer's fan theorem: a direct proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q867405)
