An Extension of the Equivalence Between Brouwer’s Fan Theorem and Weak König’s Lemma with a Uniqueness Hypothesis
Author:
Publisher
Springer International Publishing
Link
https://link.springer.com/content/pdf/10.1007/978-3-031-08740-0_10
Reference11 articles.
1. Berger, J., Ishihara, H.: Brouwer’s fan theorem and unique existence in constructive analysis. Math. Log. Q. 51(4), 360–364 (2005). https://doi.org/10.1002/malq.200410038
2. Berger, J., Ishihara, H., Kihara, T., Nemoto, T.: The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Logic 58(1–2), 203–217 (2019). https://doi.org/10.1007/s00153-018-0627-2
3. Fujiwara, M.: Intuitionistic and uniform provability in reverse mathematics. Ph.D. thesis, Tohoku University (2015)
4. Fujiwara, M.: König’s lemma, weak König’s lemma, and the decidable fan theorem. Math. Log. Q. 67(2), 241–257 (2021). https://doi.org/10.1002/malq.202000020
5. Ishihara, H.: Constructive reverse mathematics: compactness properties. In: From Sets and Types to Topology and Analysis, Oxford Logic Guides, vol. 48, pp. 245–267. Oxford University Press, Oxford (2005). https://doi.org/10.1093/acprof:oso/9780198566519.003.0016
Cited by 2 articles. 订阅此论文施引文献 订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics;Computability;2024-04-02
2. On the decomposition of WKL!!;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
1.学者识别学者识别
2.学术分析学术分析
3.人才评估人才评估
"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370
www.globalauthorid.com
TOP
Copyright © 2019-2024 北京同舟云网络信息技术有限公司 京公网安备11010802033243号 京ICP备18003416号-3