Brouwer's fan theorem

2019/12/31 by Berger, Josef
#03A99 #03F60 #54E45 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2001.00064

Abstract

Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the relationship between the fan theorem, the weak König lemma, and the uniform continuity theorem.

Related

• A continuity principle equivalent to the monotone Π⁰₁ fan theorem
• On some of Brouwer's axioms
• Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's\n Alternative
• Weak König's lemma implies the uniform continuity theorem: a direct proof
• Principles of bar induction and continuity on Baire space