The weak König lemma and uniform continuity
From MaRDI portal
Publication:3617370
DOI10.2178/jsl/1230396756zbMath1171.03032OpenAlexW2086127334WikidataQ124801837 ScholiaQ124801837MaRDI QIDQ3617370
Publication date: 23 March 2009
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1230396756
Constructive and recursive analysis (03F60) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (3)
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ ⋮ Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics
Cites Work
This page was built for publication: The weak König lemma and uniform continuity