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

DOI10.1016/J.APAL.2011.12.021MaRDI QIDQ424539zbMATH OpenOpenAlexWikidataFDO

Authors 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

Bishop-style constructive mathematicsfan theoremuniform continuity theoremweak König's lemma

Mathematics Subject Classification ID

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

Recommendations

• Weak König's lemma implies the uniform continuity theorem
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
• The weak König lemma and uniform continuity
• The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
• Constructive equivalents of the uniform continuity theorem

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1870414 (Why is no real title available?)
• scientific article; zbMATH DE number 3310901 (Why is no real title available?)
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume II
• New Computational Paradigms
• Subsystems of second order arithmetic
• The weak König lemma and uniform continuity
• Weak König's lemma implies Brouwer's fan theorem: a direct proof

Cited in

(12)

• New Computational Paradigms
• Weak König's lemma implies the uniform continuity theorem
• On uniform weak König's lemma
• Weak König's lemma implies Brouwer's fan theorem: a direct proof
• A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis
• The weak König lemma and uniform continuity
• Some conservation results on weak König's lemma
• Constructive equivalents of the uniform continuity theorem
• Equivalents of the (weak) fan theorem
• König's lemma, weak König's lemma, and the decidable fan theorem
• The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
• scientific article; zbMATH DE number 2236632 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424539)