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

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

Hannes Diener

Publication date: 10 October 2013

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-13009

zbMATH Keywords

constructive mathematicsweak König's lemmaWKLconstructive reverse mathematicsfan theoremuniform continuity theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ Bishop-Style Constructive Reverse Mathematics

This page was built for publication: Weak König’s Lemma Implies the Uniform Continuity Theorem