更多
通知
医学文献 >>
  • 检索发现
  • 增强检索
知识库 >>
  • 临床诊疗知识库
  • 中医药知识库
评价分析 >>
  • 机构
  • 作者
默认
×
更多
在国内外文献保障系统中检索
高级检索 检索偏好
热搜词：
换一批
  • 二次检索
  • 检索历史
论文 期刊
取消
高级检索

检索历史 清除

首页> Philosophical transactions. Series A, Mathematical, physical, and engineering sciences> On the decomposition of WKL!!

On the decomposition of WKL!!

导出 LinkOut
翻译 打印 收藏 分享
  • 新浪微博
  • 微信
  • QQ空间
  • 豆瓣
 纠错
广告
第一作者： Makoto,Fujiwara
第一单位： Department of Applied Mathematics, Faculty of Science Division I, Tokyo University of Science, 1-3 Kagurazaka, Shinjuku-ku, Tokyo 162-8601, Japan.
作者： Makoto,Fujiwara [1] ; Takako,Nemoto [2]
作者单位： Department of Applied Mathematics, Faculty of Science Division I, Tokyo University of Science, 1-3 Kagurazaka, Shinjuku-ku, Tokyo 162-8601, Japan. [1] Faculty of Environmental Studies, Hiroshima Institute of Technology, 2-1-1 Miyake, Saeki-ku, Hiroshima 731-5193, Japan. [2]
关键词 constructive reverse mathematicsdecompositionunique choiceuniqueness hypothesisweak K?nig’s lemma
DOI 10.1098/rsta.2022.0010
PMID 37031703
发布时间 2023-04-11
提交
  • 浏览0
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

2023年381卷2248期

20220010页

相似文献

  • 中文期刊
  • 外文期刊
  • 学位论文
  • 会议论文

加载中！

加载中！

加载中！

加载中！

  • 浏览0
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences 点击下载 本期目录封面

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

2023年381卷2248期

20220010页

相关期刊

加载中！

法律状态公告日 法律状态 法律状态信息

特别提示：本网站仅提供医学学术资源服务，不销售任何药品和器械，有关药品和器械的销售信息，请查阅其他网站。

  • 客服热线：4000-115-888 转3 (周一至周五：8:00至17:00)

  • |

  • 客服邮箱：yiyao@wanfangdata.com.cn

  • 违法和不良信息举报电话：4000-115-888，举报邮箱：problem@wanfangdata.com.cn，举报专区

官方微信
万方医学小程序
new医文AI 翻译 充值 订阅 收藏 移动端

官方微信

万方医学小程序

使用
帮助
Alternate Text
调查问卷