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

DOI10.1016/J.APAL.2011.12.021zbMATH Open1280.03057OpenAlexW2088132992WikidataQ124801247 ScholiaQ124801247MaRDI QIDQ424539FDOQ424539

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

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

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)

Cites Work

• Subsystems of second order arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak König's lemma implies Brouwer's fan theorem: a direct proof
• Constructivism in mathematics. An introduction. Volume II
• Title not available (Why is that?)
• The weak König lemma and uniform continuity
• Title not available (Why is that?)
• New Computational Paradigms

Cited In (12)

• Equivalents of the (weak) fan theorem
• Title not available (Why is that?)
• New Computational Paradigms
• Constructive equivalents of the uniform continuity theorem
• On uniform weak König's lemma
• König's lemma, weak König's lemma, and the decidable fan theorem
• Weak König's lemma implies the uniform continuity theorem
• The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice
• 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

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)