Weak König’s Lemma Implies the Uniform Continuity Theorem

DOI10.3233/COM-13009zbMath1278.03088WikidataQ124798689 ScholiaQ124798689MaRDI QIDQ2851185

Hannes Diener

Publication date: 10 October 2013

Published in: Computability (Search for Journal in Brave)

zbMATH Keywords

constructive mathematics; weak König's lemma; WKL; constructive reverse mathematics; fan theorem; uniform continuity theorem

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03B30: Foundations of classical theories (including reverse mathematics)

03F35: Second- and higher-order arithmetic and fragments