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
DOI10.1007/978-3-031-08740-0_10OpenAlexW4285252777MaRDI QIDQ2104258FDOQ2104258
Authors: Makoto Fujiwara 
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_10
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!!
constructive reverse mathematicsthe decidable fan theoremuniqueness hypothesisweak König's lemmabounded König's lemma
Cites Work
- Subsystems of second order arithmetic
- Weak König's lemma implies Brouwer's fan theorem: a direct proof
- Constructivism in mathematics. An introduction. Volume II
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Title not available (Why is that?)
- Brouwer's fan theorem and unique existence in constructive analysis
- 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
- Intuitionistic provability versus uniform provability in \(\mathsf{RCA}\)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- Another unique weak König's lemma WKL!!
Cited In (1)
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)
