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

Berger, 2008, The weak König lemma and uniform continuity, J. Symbolic Logic, 73, 933, 10.2178/jsl/1230396756

Bishop, 1967

Bishop, 1985

Bridges, 1987, vol. 97

Ishihara, 2005, Constructive reverse mathematics: compactness properties, vol. 48, 245

Ishihara, 2006, Weak König’s lemma implies Brouwer’s fan theorem: a direct proof, Notre Dame Journal of Formal Logic, 47, 249, 10.1305/ndjfl/1153858649

Kohlenbach, 2002, Foundational and mathematical uses of higher types, vol. 15, 92

Simpson, 1999, Subsystem of second order arithmetic, 10.1007/978-3-642-59971-2

Troelstra, 1988, vols. 121 and 123