Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
From MaRDI portal
Publication:424539
DOI10.1016/j.apal.2011.12.021zbMath1280.03057WikidataQ124801247 ScholiaQ124801247MaRDI QIDQ424539
Publication date: 1 June 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.021
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
Cites Work