Brouwer's fan theorem
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.