Article ID Journal Published Year Pages File Type
4662244 Annals of Pure and Applied Logic 2012 5 Pages PDF
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.

Related Topics
Physical Sciences and Engineering Mathematics Logic