König's lemma, weak König's lemma, and the decidable fan theorem
From MaRDI portal
Publication:6047683
DOI10.1002/malq.202000020zbMath1521.03246OpenAlexW3184358618WikidataQ124854757 ScholiaQ124854757MaRDI QIDQ6047683
Publication date: 12 September 2023
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.202000020
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)
Related Items (2)
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ramsey's theorem and König's lemma
- Weak König's lemma implies Brouwer's fan theorem: a direct proof
- Constructivism in mathematics. An introduction. Volume I
- Markov's principle, Church's thesis and Lindelöf's theorem
- 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
- Bar induction and restricted classical logic
- Note on the fan theorem
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Brouwer's fan theorem and unique existence in constructive analysis
This page was built for publication: König's lemma, weak König's lemma, and the decidable fan theorem