Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem

DOI10.1016/J.APAL.2011.12.021zbMath1280.03057OpenAlexW2088132992WikidataQ124801247 ScholiaQ124801247MaRDI QIDQ424539

Josef Berger

Publication date: 1 June 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.021

zbMATH Keywords

weak König's lemmaBishop-style constructive mathematicsfan theoremuniform continuity theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Unnamed Item
• Unnamed Item
• 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 weak König lemma and uniform continuity
• New Computational Paradigms

This page was built for publication: Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem