The weak König lemma and uniform continuity
From MaRDI portal
Publication:3617370
DOI10.2178/jsl/1230396756zbMath1171.03032WikidataQ124801837 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
reverse mathematics; uniform continuity; WKL; constructive; modulus; HA; fan theorem; intuitionistic
03F60: Constructive and recursive analysis
26A15: Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
Related Items
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