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 QIDQ2104258
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_10
weak König's lemmaconstructive reverse mathematicsbounded König's lemmathe decidable fan theoremuniqueness hypothesis
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Weak König's lemma implies Brouwer's fan theorem: a direct proof
- Constructivism in mathematics. An introduction. Volume II
- The binary expansion and the intermediate value theorem in constructive reverse mathematics
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$
- Brouwer's fan theorem and unique existence in constructive analysis
- König's lemma, weak König's lemma, and the decidable fan theorem
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
