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

doi:10.1016/j.apal.2011.12.021

Annals of Pure and Applied Logic

Volume 163, Issue 8, August 2012, Pages 981-985

https://doi.org/10.1016/j.apal.2011.12.021 Get rights and content

Under an Elsevier user license

open archive

Abstract

We characterize the uniform continuity theorem for integer-valued functions on Cantor space and Brouwer’s fan theorem by expressing them as variations of the weak König lemma.

MSC

03F60

03B30

Keywords

The weak König lemma

Uniform continuity theorem

Brouwer’s fan theorem