Weak König's lemma implies Brouwer's fan theorem: a direct proof
From MaRDI portal
Publication:867405
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
Cited in
(10)- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
- Die another day
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- The weak König lemma and uniform continuity
- Two direct proofs that LLPO implies the detachable fan theorem
- 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
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$
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)
