An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
From MaRDI portal
Publication:2104258
Recommendations
- 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
- Equivalents of the (weak) fan theorem
- Another unique weak König's lemma WKL!!
Cites work
- A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
- Another unique weak König's lemma WKL!!
- Brouwer's fan theorem and unique existence in constructive analysis
- Constructivism in mathematics. An introduction. Volume II
- scientific article; zbMATH DE number 2247263 (Why is no real title available?)
- Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\)
- König's lemma, weak König's lemma, and the decidable fan theorem
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Subsystems of second order arithmetic
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- Weak König's lemma implies Brouwer's fan theorem: a direct proof
This page was built for publication: An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104258)
